Fix bug in in-contract

TTK4145 · Mar 30, 2022 · b290854 · b290854
1 parent 4b5fc21
commit b290854
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/cost_fns/hall_request_assigner/build.sh b/cost_fns/hall_request_assigner/build.sh
diff --git a/cost_fns/hall_request_assigner/optimal_hall_requests.d b/cost_fns/hall_request_assigner/optimal_hall_requests.d
@@ -26,7 +26,10 @@ in {
         bool isInBounds(int f){ return f >= 0 && f < numFloors; }
         assert(elevatorStates.values.map!(a => isInBounds(a.floor)).all,
             "Some elevator is at an invalid floor");
-        assert(elevatorStates.values.map!(a => isInBounds(a.floor + a.direction)).all,
+        assert(elevatorStates.values
+                .filter!(a => a.behaviour == ElevatorBehaviour.moving)
+                .map!(a => isInBounds(a.floor + a.direction))
+                .all,
             "Some elevator is moving away from an end floor");
 }
 do {