Skip to content

Commit bb26c46

Browse files
authored
Merge pull request #515 from diffblue/SEVEN-property-p2
ranking check for seven_seg_1.sv property SEVEN.property.p2
2 parents 277816d + b4562e3 commit bb26c46

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

examples/Benchmarks/check_ranking

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -95,6 +95,22 @@ ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.property.p1
9595
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.property.p1
9696
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.property.p1
9797

98+
ebmc seven_seg_1.sv --ranking-function "250-cnt" --property SEVEN.property.p2
99+
ebmc seven_seg_2.sv --ranking-function "500-cnt" --property SEVEN.property.p2
100+
ebmc seven_seg_3.sv --ranking-function "750-cnt" --property SEVEN.property.p2
101+
ebmc seven_seg_4.sv --ranking-function "1000-cnt" --property SEVEN.property.p2
102+
ebmc seven_seg_5.sv --ranking-function "2500-cnt" --property SEVEN.property.p2
103+
ebmc seven_seg_6.sv --ranking-function "5000-cnt" --property SEVEN.property.p2
104+
ebmc seven_seg_7.sv --ranking-function "7500-cnt" --property SEVEN.property.p2
105+
ebmc seven_seg_8.sv --ranking-function "10000-cnt" --property SEVEN.property.p2
106+
ebmc seven_seg_9.sv --ranking-function "12500-cnt" --property SEVEN.property.p2
107+
ebmc seven_seg_10.sv --ranking-function "15000-cnt" --property SEVEN.property.p2
108+
ebmc seven_seg_11.sv --ranking-function "17500-cnt" --property SEVEN.property.p2
109+
ebmc seven_seg_12.sv --ranking-function "20000-cnt" --property SEVEN.property.p2
110+
ebmc seven_seg_16.sv --ranking-function "40000-cnt" --property SEVEN.property.p2
111+
ebmc seven_seg_17.sv --ranking-function "80000-cnt" --property SEVEN.property.p2
112+
ebmc seven_seg_18.sv --ranking-function "160000-cnt" --property SEVEN.property.p2
113+
98114
ebmc thermocouple_1.sv --ranking-function "{2-state,2**5-cnt}"
99115
ebmc thermocouple_2.sv --ranking-function "{2-state,2**9-cnt}"
100116
ebmc thermocouple_3.sv --ranking-function "{2-state,2**10-cnt}"

0 commit comments

Comments
 (0)