Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 3e86bfc

Browse files
sohahmmuesly
sohah
authored and
mmuesly
committed
fixing compilation errors
1 parent c5cd074 commit 3e86bfc

File tree

12 files changed

+23
-24
lines changed

12 files changed

+23
-24
lines changed

‎java/ReachSafety-Java.set‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,6 +3,8 @@ jbmc-regression/*.yml
33
jpf-regression/*.yml
44
java-ranger-regression/*.yml
55
java-ranger-regression/WBS/*.yml
6+
java-ranger-regression/alarm/*.yml
7+
java-ranger-regression/infusion/*.yml
68
java-ranger-regression/siena_eqchk/*.yml
79
java-ranger-regression/replace5_eqchk/*.yml
810
java-ranger-regression/nanoxml_eqchk/*.yml

‎java/java-ranger-regression/alarm/prop10_True/Main.java‎

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -203,7 +203,6 @@ public static void main(String[] args) {
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205205
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206-
alarm
207206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
208207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
209208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -222,7 +221,7 @@ public static void main(String[] args) {
222221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
223222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
224223
rtu_const_in.Tolerance_Max = Tolerance_Max;
225-
alarm
224+
226225
rtu_const_in.Tolerance_Min = Tolerance_Min;
227226
rtu_const_in.Log_Interval = Log_Interval;
228227
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop1_True/Main.java‎

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
import org.sosy_lab.sv_benchmarks.Verifier;
2-
2+
import impl.*;
33
public class Main {
44

55
public static void main(String[] args) {
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;
@@ -421,4 +421,3 @@ public static void main(String[] args) {
421421

422422
}
423423
}
424-

‎java/java-ranger-regression/alarm/prop2_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -203,7 +203,7 @@ public static void main(String[] args) {
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205205
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206-
alarm
206+
207207
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
208208
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
209209
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -222,7 +222,7 @@ public static void main(String[] args) {
222222
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
223223
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
224224
rtu_const_in.Tolerance_Max = Tolerance_Max;
225-
alarm
225+
226226
rtu_const_in.Tolerance_Min = Tolerance_Min;
227227
rtu_const_in.Log_Interval = Log_Interval;
228228
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop3_True/Main.java‎

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;
@@ -423,4 +423,3 @@ public static void main(String[] args) {
423423

424424
}
425425
}
426-

‎java/java-ranger-regression/alarm/prop4_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop5_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -204,7 +204,7 @@ public static void main(String[] args) {
204204
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
205205
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
206206
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
207-
alarm
207+
208208
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
209209
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
210210
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -223,7 +223,7 @@ public static void main(String[] args) {
223223
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
224224
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
225225
rtu_const_in.Tolerance_Max = Tolerance_Max;
226-
alarm
226+
227227
rtu_const_in.Tolerance_Min = Tolerance_Min;
228228
rtu_const_in.Log_Interval = Log_Interval;
229229
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop6_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop7_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;

‎java/java-ranger-regression/alarm/prop8_True/Main.java‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ public static void main(String[] args) {
202202
rtu_sensor_in.CPU_In_Error = CPU_In_Error;
203203
rtu_sensor_in.RTC_In_Error = RTC_In_Error;
204204
rtu_sensor_in.Watchdog_Interrupted = Watchdog_Interrupted;
205-
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;alarm
205+
rtu_sensor_in.Memory_Corrupted = Memory_Corrupted;
206206
rtu_sensor_in.Pump_Too_Hot = Pump_Too_Hot;
207207
rtu_sensor_in.Pump_Overheated = Pump_Overheated;
208208
rtu_sensor_in.Pump_Primed = Pump_Primed;
@@ -220,7 +220,7 @@ public static void main(String[] args) {
220220
rtu_const_in.Max_Duration_Under_Infusion = Max_Duration_Under_Infusion;
221221
rtu_const_in.Max_Paused_Duration = Max_Paused_Duration;
222222
rtu_const_in.Max_Idle_Duration = Max_Idle_Duration;
223-
rtu_const_in.Tolerance_Max = Tolerance_Max;alarm
223+
rtu_const_in.Tolerance_Max = Tolerance_Max;
224224
rtu_const_in.Tolerance_Min = Tolerance_Min;
225225
rtu_const_in.Log_Interval = Log_Interval;
226226
rtu_const_in.System_Test_Interval = System_Test_Interval;

0 commit comments

Comments
 (0)