From d4653bbc7fcb2ff1d20c7c404e79bca5221153f3 Mon Sep 17 00:00:00 2001 From: Sven van Heugten Date: Tue, 6 Jan 2026 10:12:45 +0100 Subject: [PATCH] Clarify test --- NightLight.Core.Tests/NightLightTests.fs | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/NightLight.Core.Tests/NightLightTests.fs b/NightLight.Core.Tests/NightLightTests.fs index 86ecd22..e2c9606 100644 --- a/NightLight.Core.Tests/NightLightTests.fs +++ b/NightLight.Core.Tests/NightLightTests.fs @@ -103,10 +103,14 @@ type NightLightTests() = let ``After a new day starts, all lights that have power should be on as long as the 'Off' button isn't pressed`` () = + let genInitialTransitionToDay = + concatGens + [ Gen.bind genInteractionListThatStartsWithTimeChangedAndEndsWith genTimeChangedToNight + genInteractionListExcept isTimeChangedToDay + Gen.map List.singleton genTimeChangedToDay ] + concatGens - [ Gen.bind genInteractionListThatStartsWithTimeChangedAndEndsWith genTimeChangedToNight - genInteractionListExcept isTimeChangedToDay - Gen.map List.singleton genTimeChangedToDay + [ genInitialTransitionToDay genInteractionListExcept ((=) (HumanInteraction RemotePressedOffButton)) ] |> Arb.fromGen |> Prop.forAll