Unified Coverage Report :: Group :: keymgr_env_pkg::keymgr_sw_input_cg_wrap::keymgr_sw_input_cg

Group : keymgr_env_pkg::keymgr_sw_input_cg_wrap::keymgr_sw_input_cg

SCORE	INSTANCES	WEIGHT	GOAL	AT LEAST	PER INSTANCE	AUTO BIN MAX	PRINT MISSING
100.00	98.91	1	100	1	1	64	64

Source File(s) :
/workspaces/repo/scratch/os_regression_2024_10_02/keymgr-sim-vcs/default/sim-vcs/../src/lowrisc_dv_keymgr_env_0.1/keymgr_env_cov.sv

29 Instances:

NAME	SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
start	68.37	1	100	1	64	64
attest_sw_binding_0	100.00	1	100	1	64	64
attest_sw_binding_1	100.00	1	100	1	64	64
attest_sw_binding_2	100.00	1	100	1	64	64
attest_sw_binding_3	100.00	1	100	1	64	64
attest_sw_binding_4	100.00	1	100	1	64	64
attest_sw_binding_5	100.00	1	100	1	64	64
attest_sw_binding_6	100.00	1	100	1	64	64
attest_sw_binding_7	100.00	1	100	1	64	64
key_version	100.00	1	100	1	64	64
max_creator_key_ver_shadowed	100.00	1	100	1	64	64
max_owner_int_key_ver_shadowed	100.00	1	100	1	64	64
max_owner_key_ver_shadowed	100.00	1	100	1	64	64
salt_0	100.00	1	100	1	64	64
salt_1	100.00	1	100	1	64	64
salt_2	100.00	1	100	1	64	64
salt_3	100.00	1	100	1	64	64
salt_4	100.00	1	100	1	64	64
salt_5	100.00	1	100	1	64	64
salt_6	100.00	1	100	1	64	64
salt_7	100.00	1	100	1	64	64
sealing_sw_binding_0	100.00	1	100	1	64	64
sealing_sw_binding_1	100.00	1	100	1	64	64
sealing_sw_binding_2	100.00	1	100	1	64	64
sealing_sw_binding_3	100.00	1	100	1	64	64
sealing_sw_binding_4	100.00	1	100	1	64	64
sealing_sw_binding_5	100.00	1	100	1	64	64
sealing_sw_binding_6	100.00	1	100	1	64	64
sealing_sw_binding_7	100.00	1	100	1	64	64

---

Group Instance : start

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
68.37	1	100	1	64	64

---

Summary for Group Instance start

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	31	33	51.56

Variables for Group Instance start

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance start

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	31	33	51.56	100	1	1	0

---

Group Instance : attest_sw_binding_0

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_0

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_0

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_0

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_1

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_1

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_1

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_1

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_2

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_2

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_2

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_2

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_3

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_3

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_3

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_3

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_4

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_4

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_4

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_4

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_5

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_5

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_5

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_5

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_6

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_6

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_6

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_6

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : attest_sw_binding_7

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance attest_sw_binding_7

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance attest_sw_binding_7

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance attest_sw_binding_7

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : key_version

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance key_version

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance key_version

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance key_version

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : max_creator_key_ver_shadowed

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance max_creator_key_ver_shadowed

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance max_creator_key_ver_shadowed

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance max_creator_key_ver_shadowed

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : max_owner_int_key_ver_shadowed

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance max_owner_int_key_ver_shadowed

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance max_owner_int_key_ver_shadowed

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance max_owner_int_key_ver_shadowed

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : max_owner_key_ver_shadowed

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance max_owner_key_ver_shadowed

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance max_owner_key_ver_shadowed

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance max_owner_key_ver_shadowed

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_0

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_0

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_0

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_0

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_1

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_1

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_1

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_1

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_2

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_2

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_2

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_2

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_3

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_3

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_3

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_3

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_4

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_4

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_4

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_4

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_5

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_5

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_5

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_5

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_6

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_6

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_6

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_6

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : salt_7

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance salt_7

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance salt_7

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance salt_7

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_0

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_0

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_0

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_0

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_1

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_1

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_1

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_1

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_2

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_2

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_2

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_2

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_3

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_3

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_3

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_3

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_4

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_4

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_4

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_4

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_5

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_5

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_5

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_5

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_6

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_6

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_6

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_6

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0

---

Group Instance : sealing_sw_binding_7

SCORE	WEIGHT	GOAL	AT LEAST	AUTO BIN MAX	PRINT MISSING
100.00	1	100	1	64	64

---

Summary for Group Instance sealing_sw_binding_7

CATEGORY	EXPECTED	UNCOVERED	COVERED	PERCENT
Variables	34	0	34	100.00
Crosses	64	0	64	100.00

Variables for Group Instance sealing_sw_binding_7

VARIABLE	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	AUTO BIN MAX	COMMENT
regwen_cp	2	0	2	100.00	100	1	1	2
sw_input_cp	32	0	32	100.00	100	1	1	32

Crosses for Group Instance sealing_sw_binding_7

CROSS	EXPECTED	UNCOVERED	COVERED	PERCENT	GOAL	WEIGHT	AT LEAST	PRINT MISSING	COMMENT
sw_input_x_regwen_cr	64	0	64	100.00	100	1	1	0