From 4a8a169b3c693ddf837f1e42af4a8a0a541706bd Mon Sep 17 00:00:00 2001
From: Fabian Vu <Fabian.Vu@hhu.de>
Date: Wed, 3 Feb 2021 15:28:43 +0100
Subject: [PATCH] Update Cruise_finite1_deterministic_exec.py
---
.../Cruise_finite1_deterministic_exec.py | 79 +------------------
1 file changed, 1 insertion(+), 78 deletions(-)
diff --git a/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py b/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
index 57635da6f..60d9ccbf4 100644
--- a/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
+++ b/benchmarks/Python_Primitives/Cruise_finite1_deterministic_exec.py
@@ -16,7 +16,7 @@ class Cruise_finite1_deterministic_exec:
self.counter = BInteger(0)
def simulate(self):
- while((self.counter.less(BInteger(100))).booleanValue()):
+ while((self.counter.less(BInteger(100000))).booleanValue()):
self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
self._Cruise_finite1_deterministic.CruiseBecomesNotAllowed()
self._Cruise_finite1_deterministic.CruiseBecomesAllowed()
@@ -1382,80 +1382,3 @@ class Cruise_finite1_deterministic_exec:
- def getCruiseAllowed(self):
- out = None
- out = _Cruise_finite1_deterministic._get_CruiseAllowed()
- return out
-
- def getCruiseActive(self):
- out = None
- out = _Cruise_finite1_deterministic._get_CruiseActive()
- return out
-
- def getVehicleAtCruiseSpeed(self):
- out = None
- out = _Cruise_finite1_deterministic._get_VehicleAtCruiseSpeed()
- return out
-
- def getVehicleCanKeepSpeed(self):
- out = None
- out = _Cruise_finite1_deterministic._get_VehicleCanKeepSpeed()
- return out
-
- def getVehicleTryKeepSpeed(self):
- out = None
- out = _Cruise_finite1_deterministic._get_VehicleTryKeepSpeed()
- return out
-
- def getSpeedAboveMax(self):
- out = None
- out = _Cruise_finite1_deterministic._get_SpeedAboveMax()
- return out
-
- def getVehicleTryKeepTimeGap(self):
- out = None
- out = _Cruise_finite1_deterministic._get_VehicleTryKeepTimeGap()
- return out
-
- def getNumberOfSetCruise(self):
- out = None
- out = _Cruise_finite1_deterministic._get_NumberOfSetCruise()
- return out
-
- def getCruiseSpeedAtMax(self):
- out = None
- out = _Cruise_finite1_deterministic._get_CruiseSpeedAtMax()
- return out
-
- def getObstacleDistance(self):
- out = None
- out = _Cruise_finite1_deterministic._get_ObstacleDistance()
- return out
-
- def getObstacleStatusJustChanged(self):
- out = None
- out = _Cruise_finite1_deterministic._get_ObstacleStatusJustChanged()
- return out
-
- def getCCInitialisationInProgress(self):
- out = None
- out = _Cruise_finite1_deterministic._get_CCInitialisationInProgress()
- return out
-
- def getCruiseSpeedChangeInProgress(self):
- out = None
- out = _Cruise_finite1_deterministic._get_CruiseSpeedChangeInProgress()
- return out
-
- def getObstaclePresent(self):
- out = None
- out = _Cruise_finite1_deterministic._get_ObstaclePresent()
- return out
-
- def getObstacleRelativeSpeed(self):
- out = None
- out = _Cruise_finite1_deterministic._get_ObstacleRelativeSpeed()
- return out
-
-
-
--
GitLab