Fix statistic summary

This commit is contained in:
Sven van Heugten 2026-01-17 10:12:31 +01:00
parent 62c8e446c9
commit 001b1e0af3

View file

@ -84,7 +84,7 @@ type NightLightTests() =
remotelyControlledLightsWithPower |> controlledBy RemoteLeft |> allOn
&& remotelyControlledLightsWithPower |> controlledBy RemoteRight |> allOff
| None -> remotelyControlledLightsWithPower |> allOn
|> Prop.collect $"last remote interaction is {maybeLastRemoteInteraction}"
|> Prop.collect $"last remote interaction is {maybeLastRemoteInteraction |> Option.map snd}"
|> Prop.collect $"{remotelyControlledLightsWithPower.Length} remotely controlled light(s) with power"
|> Prop.classify hasNewDayStartedSinceThen "new day has started since then"
|> Prop.trivial (remotelyControlledLightsWithPower.Length = 0)