Spec tests for Pump

mohsen-ghaffari1992 · wasowski · commit 236bf4779bf0 · 2022-11-09T21:32:53.000+01:00
diff --git a/src/test/scala/symsim/examples/concrete/pumping/PumpSpec.scala b/src/test/scala/symsim/examples/concrete/pumping/PumpSpec.scala
@@ -39,8 +39,8 @@ class PumpSpec
     "The tank level never can be negative" in check {
       forAll (flow, head, head_mean, tank, time, water, past_head_mean, actions) {
         (f, h, hm, tl, t, w, phm, a) =>
-        val (s1, r) = Pump.step (PumpState (f, h, hm, tl, t, w, phm)) (a).head
-        s1.tl >= TANK_MIN
+        for (s1, r) <- Pump.step (PumpState (f, h, hm, tl, t, w, phm)) (a)
+        yield s1.tl >= TANK_MIN
       }
     }
 

Original file line number	Diff line number	Diff line change
`@@ -39,8 +39,8 @@ class PumpSpec`
`39`	`39`	`"The tank level never can be negative" in check {`
`40`	`40`	`forAll (flow, head, head_mean, tank, time, water, past_head_mean, actions) {`
`41`	`41`	`(f, h, hm, tl, t, w, phm, a) =>`
`42`		`- val (s1, r) = Pump.step (PumpState (f, h, hm, tl, t, w, phm)) (a).head`
`43`		`- s1.tl >= TANK_MIN`
	`42`	`+ for (s1, r) <- Pump.step (PumpState (f, h, hm, tl, t, w, phm)) (a)`
	`43`	`+ yield s1.tl >= TANK_MIN`
`44`	`44`	`}`
`45`	`45`	`}`
`46`	`46`