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

Commit 6e4b0cd

Browse files
mmueslymmuesly
committed
Reformat files with google format
1 parent 9624ed2 commit 6e4b0cd

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

45 files changed

+4542
-4517
lines changed

‎java/java-ranger-regression/alarm/impl/AlarmFunctional.java‎

Lines changed: 1534 additions & 1538 deletions
Large diffs are not rendered by default.

‎java/java-ranger-regression/alarm/impl/AlarmOutputs.java‎

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
11
import org.sosy_lab.sv_benchmarks.Verifier;
22

33
public class AlarmOutputs {
4-
public int isAudioDisabled = Verifier.nondetInt();
5-
public int notificationMessage = Verifier.nondetInt();
6-
public int audioNotificationCommand = Verifier.nondetInt();
7-
public int highestLevelAlarm = Verifier.nondetInt();
8-
public int logMessageId = Verifier.nondetInt();
4+
public int isAudioDisabled = Verifier.nondetInt();
5+
public int notificationMessage = Verifier.nondetInt();
6+
public int audioNotificationCommand = Verifier.nondetInt();
7+
public int highestLevelAlarm = Verifier.nondetInt();
8+
public int logMessageId = Verifier.nondetInt();
99
}

‎java/java-ranger-regression/alarm/impl/B.java‎

Lines changed: 49 additions & 49 deletions
Original file line numberDiff line numberDiff line change
@@ -1,52 +1,52 @@
11
/* Block signals for model 'ALARM_Functional' */
22
public class B {
3-
int commandedFlowRate;
4-
int currentSystemMode;
5-
int disableAudio;
6-
int VTBIHigh;
7-
int flowRateHigh;
8-
int flowRateLow;
9-
int flowRate;
10-
int audioEnableDuration;
11-
int audioLevel;
12-
int scalingFactor2;
13-
int lowReservoir;
14-
int maxDurationOverInfusion;
15-
int maxdurationunderinfusion;
16-
int maxPausedDuration;
17-
int maxIdleDuration;
18-
int toleranceMax;
19-
int toleranceMin;
20-
int reservoirVolume;
21-
int volumeInfused;
22-
int configTimer;
23-
int alarmOutDisplayAudioDisabledIndicator;/* '<Root>/Alarm Sub-System' */
24-
int alarmOutDisplayNotificationCommand;/* '<Root>/Alarm Sub-System' */
25-
int alarmOutAudioNotificationCommand;/* '<Root>/Alarm Sub-System' */
26-
int alarmOutHighestLevelAlarm;/* '<Root>/Alarm Sub-System' */
27-
int alarmOutLogMessageID; /* '<Root>/Alarm Sub-System' */
28-
boolean systemOn;
29-
boolean systemMonitorFailed;
30-
boolean loggingFailed;
31-
boolean infusionInitiate;
32-
boolean notificationCancel;
33-
boolean flowRateNotStable;
34-
boolean airInLine;
35-
boolean occlusion;
36-
boolean doorOpen;
37-
boolean temp;
38-
boolean airPressure;
39-
boolean humidity;
40-
boolean batteryDepleted;
41-
boolean batteryLow;
42-
boolean batteryUnableToCharge;
43-
boolean supplyVoltage;
44-
boolean cpuInError;
45-
boolean rtcInError;
46-
boolean watchdogInterrupted;
47-
boolean memoryCorrupted;
48-
boolean pumpTooHot;
49-
boolean pumpOverheated;
50-
boolean reservoirEmpty;
51-
boolean inTherapy;
3+
int commandedFlowRate;
4+
int currentSystemMode;
5+
int disableAudio;
6+
int VTBIHigh;
7+
int flowRateHigh;
8+
int flowRateLow;
9+
int flowRate;
10+
int audioEnableDuration;
11+
int audioLevel;
12+
int scalingFactor2;
13+
int lowReservoir;
14+
int maxDurationOverInfusion;
15+
int maxdurationunderinfusion;
16+
int maxPausedDuration;
17+
int maxIdleDuration;
18+
int toleranceMax;
19+
int toleranceMin;
20+
int reservoirVolume;
21+
int volumeInfused;
22+
int configTimer;
23+
int alarmOutDisplayAudioDisabledIndicator; /* '<Root>/Alarm Sub-System' */
24+
int alarmOutDisplayNotificationCommand; /* '<Root>/Alarm Sub-System' */
25+
int alarmOutAudioNotificationCommand; /* '<Root>/Alarm Sub-System' */
26+
int alarmOutHighestLevelAlarm; /* '<Root>/Alarm Sub-System' */
27+
int alarmOutLogMessageID; /* '<Root>/Alarm Sub-System' */
28+
boolean systemOn;
29+
boolean systemMonitorFailed;
30+
boolean loggingFailed;
31+
boolean infusionInitiate;
32+
boolean notificationCancel;
33+
boolean flowRateNotStable;
34+
boolean airInLine;
35+
boolean occlusion;
36+
boolean doorOpen;
37+
boolean temp;
38+
boolean airPressure;
39+
boolean humidity;
40+
boolean batteryDepleted;
41+
boolean batteryLow;
42+
boolean batteryUnableToCharge;
43+
boolean supplyVoltage;
44+
boolean cpuInError;
45+
boolean rtcInError;
46+
boolean watchdogInterrupted;
47+
boolean memoryCorrupted;
48+
boolean pumpTooHot;
49+
boolean pumpOverheated;
50+
boolean reservoirEmpty;
51+
boolean inTherapy;
5252
}

‎java/java-ranger-regression/alarm/impl/ConfigOutputs.java‎

Lines changed: 25 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -1,29 +1,29 @@
11
import org.sosy_lab.sv_benchmarks.Verifier;
22

33
public class ConfigOutputs {
4-
public int patientId = Verifier.nondetInt();
5-
public int drugName = Verifier.nondetInt();
6-
public int drugConcentration = Verifier.nondetInt();
7-
public int infusionTotalDuration = Verifier.nondetInt();
8-
public int vtbiTotal = Verifier.nondetInt();
9-
public int flowRateBasal = Verifier.nondetInt();
10-
public int flowRateIntermittentBolus = Verifier.nondetInt();
11-
public int durationIntermittentBolus = Verifier.nondetInt();
12-
public int intervalIntermittentBolus = Verifier.nondetInt();
13-
public int flowRatePatientBolus = Verifier.nondetInt();
14-
public int durationPatientBolus = Verifier.nondetInt();
15-
public int lockoutPeriodPatientBolus = Verifier.nondetInt();
16-
public int maxNumberOfPatientBolus = Verifier.nondetInt();
17-
public int flowRateKVO = Verifier.nondetInt();
18-
public int enteredReservoirVolume = Verifier.nondetInt();
19-
public int reservoirVolume = Verifier.nondetInt();
20-
public int configured = Verifier.nondetInt();
21-
public int errorMessageID = Verifier.nondetInt();
22-
public boolean requestConfigType = Verifier.nondetBoolean();
23-
public boolean requestConfirmInfusionInitiate = Verifier.nondetBoolean();
24-
public boolean requestPatientDrugInfo = Verifier.nondetBoolean();
25-
public boolean requestInfusionInfo = Verifier.nondetBoolean();
26-
public int logMessageID = Verifier.nondetInt();
27-
public int configTimer = Verifier.nondetInt();
28-
public int configMode = Verifier.nondetInt();
4+
public int patientId = Verifier.nondetInt();
5+
public int drugName = Verifier.nondetInt();
6+
public int drugConcentration = Verifier.nondetInt();
7+
public int infusionTotalDuration = Verifier.nondetInt();
8+
public int vtbiTotal = Verifier.nondetInt();
9+
public int flowRateBasal = Verifier.nondetInt();
10+
public int flowRateIntermittentBolus = Verifier.nondetInt();
11+
public int durationIntermittentBolus = Verifier.nondetInt();
12+
public int intervalIntermittentBolus = Verifier.nondetInt();
13+
public int flowRatePatientBolus = Verifier.nondetInt();
14+
public int durationPatientBolus = Verifier.nondetInt();
15+
public int lockoutPeriodPatientBolus = Verifier.nondetInt();
16+
public int maxNumberOfPatientBolus = Verifier.nondetInt();
17+
public int flowRateKVO = Verifier.nondetInt();
18+
public int enteredReservoirVolume = Verifier.nondetInt();
19+
public int reservoirVolume = Verifier.nondetInt();
20+
public int configured = Verifier.nondetInt();
21+
public int errorMessageID = Verifier.nondetInt();
22+
public boolean requestConfigType = Verifier.nondetBoolean();
23+
public boolean requestConfirmInfusionInitiate = Verifier.nondetBoolean();
24+
public boolean requestPatientDrugInfo = Verifier.nondetBoolean();
25+
public boolean requestInfusionInfo = Verifier.nondetBoolean();
26+
public int logMessageID = Verifier.nondetInt();
27+
public int configTimer = Verifier.nondetInt();
28+
public int configMode = Verifier.nondetInt();
2929
}

‎java/java-ranger-regression/alarm/impl/DW.java‎

Lines changed: 61 additions & 62 deletions
Original file line numberDiff line numberDiff line change
@@ -1,65 +1,64 @@
11
/* Block states (auto storage) for model 'ALARM_Functional' */
22
public class DW {
3-
int isActiveC2AlarmFunctional;/* '<Root>/Alarm Sub-System' */
4-
int isC2AlarmFunctional; /* '<Root>/Alarm Sub-System' */
5-
int isActiveNotification; /* '<Root>/Alarm Sub-System' */
6-
int isVisual; /* '<Root>/Alarm Sub-System' */
7-
int isActiveVisual; /* '<Root>/Alarm Sub-System' */
8-
int isAudio; /* '<Root>/Alarm Sub-System' */
9-
int isActiveAudio; /* '<Root>/Alarm Sub-System' */
10-
int isActiveCheckAlarm; /* '<Root>/Alarm Sub-System' */
11-
int isCancelAlarm; /* '<Root>/Alarm Sub-System' */
12-
int isActiveCancelAlarm; /* '<Root>/Alarm Sub-System' */
13-
int isActiveSetAlarmStatus; /* '<Root>/Alarm Sub-System' */
14-
int isActiveLevel4; /* '<Root>/Alarm Sub-System' */
15-
int isIsEmptyReservoir; /* '<Root>/Alarm Sub-System' */
16-
int isActiveIsEmptyReservoir; /* '<Root>/Alarm Sub-System' */
17-
int isIsSystemMonitorFailed; /* '<Root>/Alarm Sub-System' */
18-
int isActiveIsSystemMonitorFailed;/* '<Root>/Alarm Sub-System' */
19-
int isIsEnviromentalError; /* '<Root>/Alarm Sub-System' */
20-
int isActiveIsEnviromentalError;/* '<Root>/Alarm Sub-System' */
21-
int isActiveLevel3; /* '<Root>/Alarm Sub-System' */
22-
int isIsOverInfusionFlowRate; /* '<Root>/Alarm Sub-System' */
23-
int isActiveIsOverInfusionFlowRate;/* '<Root>/Alarm Sub-System' */
24-
int isInfusionNotStartedWarning;/* '<Root>/Alarm Sub-System' */
25-
int isActiveInfusionNotStartedWarning;/* '<Root>/Alarm Sub-System' */
26-
int isIsOverInfusionVTBI; /* '<Root>/Alarm Sub-System' */
27-
int isActiveIsOverInfusionVTBI;/* '<Root>/Alarm Sub-System' */
28-
int isIsAirInLine; /* '<Root>/Alarm Sub-System' */
29-
int isActiveIsAirInLine; /* '<Root>/Alarm Sub-System' */
30-
int isIsOcclusion; /* '<Root>/Alarm Sub-System' */
31-
int isActiveIsOcclusion; /* '<Root>/Alarm Sub-System' */
32-
int isIsDoorOpen; /* '<Root>/Alarm Sub-System' */
33-
int isActiveIsDoorOpen; /* '<Root>/Alarm Sub-System' */
34-
int isActiveLevel2; /* '<Root>/Alarm Sub-System' */
35-
int isIsLowReservoir; /* '<Root>/Alarm Sub-System' */
36-
int isActiveIsLowReservoir; /* '<Root>/Alarm Sub-System' */
37-
int isActiveLevel1; /* '<Root>/Alarm Sub-System' */
38-
int isIsUnderInfusion; /* '<Root>/Alarm Sub-System' */
39-
int isActiveIsUnderInfusion; /* '<Root>/Alarm Sub-System' */
40-
int isIsFlowRateNotStable; /* '<Root>/Alarm Sub-System' */
41-
int isActiveIsFlowRateNotStable;/* '<Root>/Alarm Sub-System' */
42-
int isIsIdleTimeExceeded; /* '<Root>/Alarm Sub-System' */
43-
int isActiveIsIdleTimeExceeded;/* '<Root>/Alarm Sub-System' */
44-
int isIsPausedTimeExceeded; /* '<Root>/Alarm Sub-System' */
45-
int isActiveIsPausedTimeExceeded;/* '<Root>/Alarm Sub-System' */
46-
int isIsConfigTimeWarning; /* '<Root>/Alarm Sub-System' */
47-
int isActiveIsConfigTimeWarning;/* '<Root>/Alarm Sub-System' */
48-
int isIsBatteryError; /* '<Root>/Alarm Sub-System' */
49-
int isActiveIsBatteryError; /* '<Root>/Alarm Sub-System' */
50-
int isIsPumpHot; /* '<Root>/Alarm Sub-System' */
51-
int isActiveIsPumpHot; /* '<Root>/Alarm Sub-System' */
52-
int isIsLoggingFailed; /* '<Root>/Alarm Sub-System' */
53-
int isActiveIsLoggingFailed; /* '<Root>/Alarm Sub-System' */
54-
int isIsHardwareError; /* '<Root>/Alarm Sub-System' */
55-
int isActiveIsHardwareError; /* '<Root>/Alarm Sub-System' */
56-
int overInfusionTimer; /* '<Root>/Alarm Sub-System' */
57-
int underInfusionTimer; /* '<Root>/Alarm Sub-System' */
58-
int currentAlarm; /* '<Root>/Alarm Sub-System' */
59-
int audioTimer; /* '<Root>/Alarm Sub-System' */
60-
int cancelAlarm; /* '<Root>/Alarm Sub-System' */
61-
int maxAlarmLevel; /* '<Root>/Alarm Sub-System' */
62-
int idletimer; /* '<Root>/Alarm Sub-System' */
63-
int pausedtimer; /* '<Root>/Alarm Sub-System' */
64-
3+
int isActiveC2AlarmFunctional; /* '<Root>/Alarm Sub-System' */
4+
int isC2AlarmFunctional; /* '<Root>/Alarm Sub-System' */
5+
int isActiveNotification; /* '<Root>/Alarm Sub-System' */
6+
int isVisual; /* '<Root>/Alarm Sub-System' */
7+
int isActiveVisual; /* '<Root>/Alarm Sub-System' */
8+
int isAudio; /* '<Root>/Alarm Sub-System' */
9+
int isActiveAudio; /* '<Root>/Alarm Sub-System' */
10+
int isActiveCheckAlarm; /* '<Root>/Alarm Sub-System' */
11+
int isCancelAlarm; /* '<Root>/Alarm Sub-System' */
12+
int isActiveCancelAlarm; /* '<Root>/Alarm Sub-System' */
13+
int isActiveSetAlarmStatus; /* '<Root>/Alarm Sub-System' */
14+
int isActiveLevel4; /* '<Root>/Alarm Sub-System' */
15+
int isIsEmptyReservoir; /* '<Root>/Alarm Sub-System' */
16+
int isActiveIsEmptyReservoir; /* '<Root>/Alarm Sub-System' */
17+
int isIsSystemMonitorFailed; /* '<Root>/Alarm Sub-System' */
18+
int isActiveIsSystemMonitorFailed; /* '<Root>/Alarm Sub-System' */
19+
int isIsEnviromentalError; /* '<Root>/Alarm Sub-System' */
20+
int isActiveIsEnviromentalError; /* '<Root>/Alarm Sub-System' */
21+
int isActiveLevel3; /* '<Root>/Alarm Sub-System' */
22+
int isIsOverInfusionFlowRate; /* '<Root>/Alarm Sub-System' */
23+
int isActiveIsOverInfusionFlowRate; /* '<Root>/Alarm Sub-System' */
24+
int isInfusionNotStartedWarning; /* '<Root>/Alarm Sub-System' */
25+
int isActiveInfusionNotStartedWarning; /* '<Root>/Alarm Sub-System' */
26+
int isIsOverInfusionVTBI; /* '<Root>/Alarm Sub-System' */
27+
int isActiveIsOverInfusionVTBI; /* '<Root>/Alarm Sub-System' */
28+
int isIsAirInLine; /* '<Root>/Alarm Sub-System' */
29+
int isActiveIsAirInLine; /* '<Root>/Alarm Sub-System' */
30+
int isIsOcclusion; /* '<Root>/Alarm Sub-System' */
31+
int isActiveIsOcclusion; /* '<Root>/Alarm Sub-System' */
32+
int isIsDoorOpen; /* '<Root>/Alarm Sub-System' */
33+
int isActiveIsDoorOpen; /* '<Root>/Alarm Sub-System' */
34+
int isActiveLevel2; /* '<Root>/Alarm Sub-System' */
35+
int isIsLowReservoir; /* '<Root>/Alarm Sub-System' */
36+
int isActiveIsLowReservoir; /* '<Root>/Alarm Sub-System' */
37+
int isActiveLevel1; /* '<Root>/Alarm Sub-System' */
38+
int isIsUnderInfusion; /* '<Root>/Alarm Sub-System' */
39+
int isActiveIsUnderInfusion; /* '<Root>/Alarm Sub-System' */
40+
int isIsFlowRateNotStable; /* '<Root>/Alarm Sub-System' */
41+
int isActiveIsFlowRateNotStable; /* '<Root>/Alarm Sub-System' */
42+
int isIsIdleTimeExceeded; /* '<Root>/Alarm Sub-System' */
43+
int isActiveIsIdleTimeExceeded; /* '<Root>/Alarm Sub-System' */
44+
int isIsPausedTimeExceeded; /* '<Root>/Alarm Sub-System' */
45+
int isActiveIsPausedTimeExceeded; /* '<Root>/Alarm Sub-System' */
46+
int isIsConfigTimeWarning; /* '<Root>/Alarm Sub-System' */
47+
int isActiveIsConfigTimeWarning; /* '<Root>/Alarm Sub-System' */
48+
int isIsBatteryError; /* '<Root>/Alarm Sub-System' */
49+
int isActiveIsBatteryError; /* '<Root>/Alarm Sub-System' */
50+
int isIsPumpHot; /* '<Root>/Alarm Sub-System' */
51+
int isActiveIsPumpHot; /* '<Root>/Alarm Sub-System' */
52+
int isIsLoggingFailed; /* '<Root>/Alarm Sub-System' */
53+
int isActiveIsLoggingFailed; /* '<Root>/Alarm Sub-System' */
54+
int isIsHardwareError; /* '<Root>/Alarm Sub-System' */
55+
int isActiveIsHardwareError; /* '<Root>/Alarm Sub-System' */
56+
int overInfusionTimer; /* '<Root>/Alarm Sub-System' */
57+
int underInfusionTimer; /* '<Root>/Alarm Sub-System' */
58+
int currentAlarm; /* '<Root>/Alarm Sub-System' */
59+
int audioTimer; /* '<Root>/Alarm Sub-System' */
60+
int cancelAlarm; /* '<Root>/Alarm Sub-System' */
61+
int maxAlarmLevel; /* '<Root>/Alarm Sub-System' */
62+
int idletimer; /* '<Root>/Alarm Sub-System' */
63+
int pausedtimer; /* '<Root>/Alarm Sub-System' */
6564
}

‎java/java-ranger-regression/alarm/impl/DeviceConfigurationInputs.java‎

Lines changed: 16 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1,20 @@
11
import org.sosy_lab.sv_benchmarks.Verifier;
22

33
public class DeviceConfigurationInputs {
4-
public int audioEnableDuration = Verifier.nondetInt();
5-
public int audioLevel = Verifier.nondetInt();
6-
public int configWarningDuration = Verifier.nondetInt();
7-
public int emptyReservoir = Verifier.nondetInt();
8-
public int lowReservoir = Verifier.nondetInt();
9-
public int maxConfigDuration = Verifier.nondetInt();
10-
public int maxDurationOverInfusion = Verifier.nondetInt();
11-
public int maxDurationUnderInfusion = Verifier.nondetInt();
12-
public int maxPausedDuration = Verifier.nondetInt();
13-
public int maxIdleDuration = Verifier.nondetInt();
14-
public int toleranceMax = Verifier.nondetInt();
15-
public int toleranceMin = Verifier.nondetInt();
16-
public int logInterval = Verifier.nondetInt();
17-
public int systemTestInterval = Verifier.nondetInt();
18-
public int maxDisplayDuration = Verifier.nondetInt();
19-
public int maxConfirmStopDuration = Verifier.nondetInt();
4+
public int audioEnableDuration = Verifier.nondetInt();
5+
public int audioLevel = Verifier.nondetInt();
6+
public int configWarningDuration = Verifier.nondetInt();
7+
public int emptyReservoir = Verifier.nondetInt();
8+
public int lowReservoir = Verifier.nondetInt();
9+
public int maxConfigDuration = Verifier.nondetInt();
10+
public int maxDurationOverInfusion = Verifier.nondetInt();
11+
public int maxDurationUnderInfusion = Verifier.nondetInt();
12+
public int maxPausedDuration = Verifier.nondetInt();
13+
public int maxIdleDuration = Verifier.nondetInt();
14+
public int toleranceMax = Verifier.nondetInt();
15+
public int toleranceMin = Verifier.nondetInt();
16+
public int logInterval = Verifier.nondetInt();
17+
public int systemTestInterval = Verifier.nondetInt();
18+
public int maxDisplayDuration = Verifier.nondetInt();
19+
public int maxConfirmStopDuration = Verifier.nondetInt();
2020
}

‎java/java-ranger-regression/alarm/impl/DeviceSensorInputs.java‎

Lines changed: 20 additions & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,24 +1,24 @@
11
import org.sosy_lab.sv_benchmarks.Verifier;
22

33
public class DeviceSensorInputs {
4-
public int flowRate = Verifier.nondetInt();
5-
public boolean flowRateNotStable = Verifier.nondetBoolean();
6-
public boolean airInLine = Verifier.nondetBoolean();
7-
public boolean occlusion = Verifier.nondetBoolean();
8-
public boolean doorOpen = Verifier.nondetBoolean();
9-
public boolean temp = Verifier.nondetBoolean();
10-
public boolean airPressure = Verifier.nondetBoolean();
11-
public boolean humidity = Verifier.nondetBoolean();
12-
public boolean batteryDepleted = Verifier.nondetBoolean();
13-
public boolean batteryLow = Verifier.nondetBoolean();
14-
public boolean batteryUnableToCharge = Verifier.nondetBoolean();
15-
public boolean supplyVoltage = Verifier.nondetBoolean();
16-
public boolean cpuInError = Verifier.nondetBoolean();
17-
public boolean rtcInError = Verifier.nondetBoolean();
18-
public boolean watchdogInterrupted = Verifier.nondetBoolean();
19-
public boolean memoryCorrupted = Verifier.nondetBoolean();
20-
public boolean pumpTooHot = Verifier.nondetBoolean();
21-
public boolean pumpOverheated = Verifier.nondetBoolean();
22-
public boolean pumpPrimed = Verifier.nondetBoolean();
23-
public boolean postSuccessful = Verifier.nondetBoolean();
4+
public int flowRate = Verifier.nondetInt();
5+
public boolean flowRateNotStable = Verifier.nondetBoolean();
6+
public boolean airInLine = Verifier.nondetBoolean();
7+
public boolean occlusion = Verifier.nondetBoolean();
8+
public boolean doorOpen = Verifier.nondetBoolean();
9+
public boolean temp = Verifier.nondetBoolean();
10+
public boolean airPressure = Verifier.nondetBoolean();
11+
public boolean humidity = Verifier.nondetBoolean();
12+
public boolean batteryDepleted = Verifier.nondetBoolean();
13+
public boolean batteryLow = Verifier.nondetBoolean();
14+
public boolean batteryUnableToCharge = Verifier.nondetBoolean();
15+
public boolean supplyVoltage = Verifier.nondetBoolean();
16+
public boolean cpuInError = Verifier.nondetBoolean();
17+
public boolean rtcInError = Verifier.nondetBoolean();
18+
public boolean watchdogInterrupted = Verifier.nondetBoolean();
19+
public boolean memoryCorrupted = Verifier.nondetBoolean();
20+
public boolean pumpTooHot = Verifier.nondetBoolean();
21+
public boolean pumpOverheated = Verifier.nondetBoolean();
22+
public boolean pumpPrimed = Verifier.nondetBoolean();
23+
public boolean postSuccessful = Verifier.nondetBoolean();
2424
}

0 commit comments

Comments
 (0)