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

Commit aa6ea74

Browse files
sohahmmuesly
sohah
authored and
mmuesly
committed
fixing camal case for benchmarks
1 parent 155ca5f commit aa6ea74

File tree

71 files changed

+4486
-4460
lines changed

Some content is hidden

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

71 files changed

+4486
-4460
lines changed

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

Lines changed: 0 additions & 1716 deletions
This file was deleted.

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

Lines changed: 1714 additions & 0 deletions
Large diffs are not rendered by default.

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

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
2+
import org.sosy_lab.sv_benchmarks.Verifier;
3+
4+
public class AlarmOutputs {
5+
public int isAudioDisabled = Verifier.nondetInt();
6+
public int notificationMessage = Verifier.nondetInt();
7+
public int audioNotificationCommand = Verifier.nondetInt();
8+
public int highestLevelAlarm = Verifier.nondetInt();
9+
public int logMessageId = Verifier.nondetInt();
10+
}

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

Lines changed: 0 additions & 9 deletions
This file was deleted.

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

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

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

Lines changed: 0 additions & 54 deletions
This file was deleted.

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

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,30 @@
1+
2+
import org.sosy_lab.sv_benchmarks.Verifier;
3+
4+
public class ConfigOutputs {
5+
public int patientId = Verifier.nondetInt();
6+
public int drugName = Verifier.nondetInt();
7+
public int drugConcentration = Verifier.nondetInt();
8+
public int infusionTotalDuration = Verifier.nondetInt();
9+
public int VTBITotal = Verifier.nondetInt();
10+
public int flowRateBasal = Verifier.nondetInt();
11+
public int flowRateIntermittentBolus = Verifier.nondetInt();
12+
public int durationIntermittentBolus = Verifier.nondetInt();
13+
public int intervalIntermittentBolus = Verifier.nondetInt();
14+
public int flowRatePatientBolus = Verifier.nondetInt();
15+
public int durationPatientBolus = Verifier.nondetInt();
16+
public int lockoutPeriodPatientBolus = Verifier.nondetInt();
17+
public int maxNumberOfPatientBolus = Verifier.nondetInt();
18+
public int flowRateKVO = Verifier.nondetInt();
19+
public int enteredReservoirVolume = Verifier.nondetInt();
20+
public int reservoirVolume = Verifier.nondetInt();
21+
public int Configured = Verifier.nondetInt();
22+
public int errorMessageID = Verifier.nondetInt();
23+
public boolean requestConfigType = Verifier.nondetBoolean();
24+
public boolean requestConfirmInfusionInitiate = Verifier.nondetBoolean();
25+
public boolean requestPatientDrugInfo = Verifier.nondetBoolean();
26+
public boolean requestInfusionInfo = Verifier.nondetBoolean();
27+
public int logMessageID = Verifier.nondetInt();
28+
public int configTimer = Verifier.nondetInt();
29+
public int configMode = Verifier.nondetInt();
30+
}

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

Lines changed: 0 additions & 29 deletions
This file was deleted.

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

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

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

Lines changed: 0 additions & 66 deletions
This file was deleted.

0 commit comments

Comments
 (0)