Group : keymgr_env_pkg::keymgr_sw_input_cg_wrap::keymgr_sw_input_cg
dashboard | hierarchy | modlist | groups | tests | asserts

Group : keymgr_env_pkg::keymgr_sw_input_cg_wrap::keymgr_sw_input_cg
SCOREINSTANCESWEIGHTGOALAT LEASTPER INSTANCEAUTO BIN MAXPRINT MISSING
100.00 98.91 1 100 1 1 64 64


Source File(s) :
/workspace/default/sim-vcs/../src/lowrisc_dv_keymgr_env_0.1/keymgr_env_cov.sv

29 Instances:
NAMESCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 31 33 51.56 100 1 1 0



Group Instance : attest_sw_binding_0
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_1
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_2
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_3
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_4
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_5
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_6
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : attest_sw_binding_7
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : key_version
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : max_creator_key_ver_shadowed
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : max_owner_int_key_ver_shadowed
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : max_owner_key_ver_shadowed
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_0
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_1
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_2
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_3
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_4
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_5
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_6
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : salt_7
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_0
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_1
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_2
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_3
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_4
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_5
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_6
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0



Group Instance : sealing_sw_binding_7
SCOREWEIGHTGOALAT LEASTAUTO BIN MAXPRINT 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
CROSSEXPECTEDUNCOVEREDCOVEREDPERCENTGOALWEIGHTAT LEASTPRINT MISSINGCOMMENT
sw_input_x_regwen_cr 64 0 64 100.00 100 1 1 0