@@ -77,37 +77,37 @@ ebmc lcd_12.sv --ranking-function "{3-state,22500-cnt}"
7777ebmc lcd_13.sv --ranking-function " {3-state,90000-cnt}"
7878ebmc lcd_14.sv --ranking-function " {3-state,180000-cnt}"
7979
80- ebmc seven_seg_1.sv --ranking-function " 250-cnt" property. p1
81- ebmc seven_seg_2.sv --ranking-function " 500-cnt" property. p1
82- ebmc seven_seg_3.sv --ranking-function " 750-cnt" property. p1
83- ebmc seven_seg_4.sv --ranking-function " 1000-cnt" property. p1
84- ebmc seven_seg_5.sv --ranking-function " 2500-cnt" property. p1
85- ebmc seven_seg_6.sv --ranking-function " 5000-cnt" property. p1
86- ebmc seven_seg_7.sv --ranking-function " 7500-cnt" property. p1
87- ebmc seven_seg_8.sv --ranking-function " 10000-cnt" property. p1
88- ebmc seven_seg_9.sv --ranking-function " 12500-cnt" property. p1
89- ebmc seven_seg_10.sv --ranking-function " 15000-cnt" property. p1
90- ebmc seven_seg_11.sv --ranking-function " 17500-cnt" property. p1
91- ebmc seven_seg_12.sv --ranking-function " 20000-cnt" property. p1
92- ebmc seven_seg_16.sv --ranking-function " 40000-cnt" property. p1
93- ebmc seven_seg_17.sv --ranking-function " 80000-cnt" property. p1
94- ebmc seven_seg_18.sv --ranking-function " 160000-cnt" property. p1
80+ ebmc seven_seg_1.sv --ranking-function " 250-cnt"
81+ ebmc seven_seg_2.sv --ranking-function " 500-cnt"
82+ ebmc seven_seg_3.sv --ranking-function " 750-cnt"
83+ ebmc seven_seg_4.sv --ranking-function " 1000-cnt"
84+ ebmc seven_seg_5.sv --ranking-function " 2500-cnt"
85+ ebmc seven_seg_6.sv --ranking-function " 5000-cnt"
86+ ebmc seven_seg_7.sv --ranking-function " 7500-cnt"
87+ ebmc seven_seg_8.sv --ranking-function " 10000-cnt"
88+ ebmc seven_seg_9.sv --ranking-function " 12500-cnt"
89+ ebmc seven_seg_10.sv --ranking-function " 15000-cnt"
90+ ebmc seven_seg_11.sv --ranking-function " 17500-cnt"
91+ ebmc seven_seg_12.sv --ranking-function " 20000-cnt"
92+ ebmc seven_seg_16.sv --ranking-function " 40000-cnt"
93+ ebmc seven_seg_17.sv --ranking-function " 80000-cnt"
94+ ebmc seven_seg_18.sv --ranking-function " 160000-cnt"
9595
96- ebmc seven_seg_1.sv --ranking-function " 250-cnt" property. p2
97- ebmc seven_seg_2.sv --ranking-function " 500-cnt" property. p2
98- ebmc seven_seg_3.sv --ranking-function " 750-cnt" property. p2
99- ebmc seven_seg_4.sv --ranking-function " 1000-cnt" property. p2
100- ebmc seven_seg_5.sv --ranking-function " 2500-cnt" property. p2
101- ebmc seven_seg_6.sv --ranking-function " 5000-cnt" property. p2
102- ebmc seven_seg_7.sv --ranking-function " 7500-cnt" property. p2
103- ebmc seven_seg_8.sv --ranking-function " 10000-cnt" property. p2
104- ebmc seven_seg_9.sv --ranking-function " 12500-cnt" property. p2
105- ebmc seven_seg_10.sv --ranking-function " 15000-cnt" property. p2
106- ebmc seven_seg_11.sv --ranking-function " 17500-cnt" property. p2
107- ebmc seven_seg_12.sv --ranking-function " 20000-cnt" property. p2
108- ebmc seven_seg_16.sv --ranking-function " 40000-cnt" property. p2
109- ebmc seven_seg_17.sv --ranking-function " 80000-cnt" property. p2
110- ebmc seven_seg_18.sv --ranking-function " 160000-cnt" property. p2
96+ ebmc seven_seg_1.sv --ranking-function " 250-cnt"
97+ ebmc seven_seg_2.sv --ranking-function " 500-cnt"
98+ ebmc seven_seg_3.sv --ranking-function " 750-cnt"
99+ ebmc seven_seg_4.sv --ranking-function " 1000-cnt"
100+ ebmc seven_seg_5.sv --ranking-function " 2500-cnt"
101+ ebmc seven_seg_6.sv --ranking-function " 5000-cnt"
102+ ebmc seven_seg_7.sv --ranking-function " 7500-cnt"
103+ ebmc seven_seg_8.sv --ranking-function " 10000-cnt"
104+ ebmc seven_seg_9.sv --ranking-function " 12500-cnt"
105+ ebmc seven_seg_10.sv --ranking-function " 15000-cnt"
106+ ebmc seven_seg_11.sv --ranking-function " 17500-cnt"
107+ ebmc seven_seg_12.sv --ranking-function " 20000-cnt"
108+ ebmc seven_seg_16.sv --ranking-function " 40000-cnt"
109+ ebmc seven_seg_17.sv --ranking-function " 80000-cnt"
110+ ebmc seven_seg_18.sv --ranking-function " 160000-cnt"
111111
112112ebmc thermocouple_1.sv --ranking-function " {2-state,2**5-cnt}"
113113ebmc thermocouple_2.sv --ranking-function " {2-state,2**9-cnt}"
0 commit comments