adding yml files for java ranger benchmarks

sohah · mmuesly · commit 485ed397b295 · 2020-11-02T10:11:39.000+01:00
diff --git a/java/java-ranger-regression/alarm/Alarm_prop1.yml b/java/java-ranger-regression/alarm/Alarm_prop1.yml
@@ -5,4 +5,4 @@ input_files:
   - prop1_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop10.yml b/java/java-ranger-regression/alarm/Alarm_prop10.yml
@@ -5,4 +5,4 @@ input_files:
   - prop10_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop2.yml b/java/java-ranger-regression/alarm/Alarm_prop2.yml
@@ -5,4 +5,4 @@ input_files:
   - prop2_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop3.yml b/java/java-ranger-regression/alarm/Alarm_prop3.yml
@@ -5,4 +5,4 @@ input_files:
   - prop3_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop4.yml b/java/java-ranger-regression/alarm/Alarm_prop4.yml
@@ -5,4 +5,4 @@ input_files:
   - prop4_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop5.yml b/java/java-ranger-regression/alarm/Alarm_prop5.yml
@@ -5,4 +5,4 @@ input_files:
   - prop5_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop6.yml b/java/java-ranger-regression/alarm/Alarm_prop6.yml
@@ -5,4 +5,4 @@ input_files:
   - prop6_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop7.yml b/java/java-ranger-regression/alarm/Alarm_prop7.yml
@@ -5,4 +5,4 @@ input_files:
   - prop7_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/Alarm_prop9.yml b/java/java-ranger-regression/alarm/Alarm_prop9.yml
@@ -5,4 +5,4 @@ input_files:
   - prop9_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/alarm/prop1_True/Main.java b/java/java-ranger-regression/alarm/prop1_True/Main.java
@@ -1,5 +1,4 @@
 import org.sosy_lab.sv_benchmarks.Verifier;
-import impl.*;
 public class Main {
 
     public static void main(String[] args) {
diff --git a/java/java-ranger-regression/infusion/Infusion_prop1.yml b/java/java-ranger-regression/infusion/Infusion_prop1.yml
@@ -5,4 +5,4 @@ input_files:
   - prop1_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop10.yml b/java/java-ranger-regression/infusion/Infusion_prop10.yml
@@ -5,4 +5,4 @@ input_files:
   - prop10_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop2.yml b/java/java-ranger-regression/infusion/Infusion_prop2.yml
@@ -5,4 +5,4 @@ input_files:
   - prop2_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop3.yml b/java/java-ranger-regression/infusion/Infusion_prop3.yml
@@ -5,4 +5,4 @@ input_files:
   - prop3_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop4.yml b/java/java-ranger-regression/infusion/Infusion_prop4.yml
@@ -5,4 +5,4 @@ input_files:
   - prop4_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop5.yml b/java/java-ranger-regression/infusion/Infusion_prop5.yml
@@ -5,4 +5,4 @@ input_files:
   - prop5_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop6.yml b/java/java-ranger-regression/infusion/Infusion_prop6.yml
@@ -5,4 +5,4 @@ input_files:
   - prop6_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop7.yml b/java/java-ranger-regression/infusion/Infusion_prop7.yml
@@ -5,4 +5,4 @@ input_files:
   - prop7_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop8.yml b/java/java-ranger-regression/infusion/Infusion_prop8.yml
@@ -5,4 +5,4 @@ input_files:
   - prop8_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/Infusion_prop9.yml b/java/java-ranger-regression/infusion/Infusion_prop9.yml
@@ -5,4 +5,4 @@ input_files:
   - prop9_True/
 properties:
   - property_file: ../../properties/assert.prp
-    expected_verdict: false
+    expected_verdict: true
diff --git a/java/java-ranger-regression/infusion/prop5_True/Main.java b/java/java-ranger-regression/infusion/prop5_True/Main.java
@@ -236,7 +236,7 @@ public static void main(String[] args) {
             checkCondition = (rtu_TLM_MODE_IN.System_On && (rtu_ALARM_IN.Highest_Level_Alarm == 2));
             checkOutput =
                     ((rty_IM_OUT.Current_System_Mode == 1) || (rty_IM_OUT.Current_System_Mode == 2) || (rty_IM_OUT.Current_System_Mode == 6) || (rty_IM_OUT.Current_System_Mode == 7) || (rty_IM_OUT.Current_System_Mode == 8));
-            assert (!checkCondition || checkOutput);
+            assert (!checkCondition || checkOutput);*/
 
         }
 

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`import org.sosy_lab.sv_benchmarks.Verifier;`
`2`		`-import impl.*;`
`3`	`2`	`public class Main {`
`4`	`3`
`5`	`4`	`public static void main(String[] args) {`