svenvanheugten/night-light
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Improve variable name

Browse source
This commit is contained in:
Sven van Heugten 2026-01-06 10:22:20 +01:00
parent d4653bbc7f
commit 555a64db08
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NightLight.Core.Tests/NightLightTests.fs
View file

@ -103,14 +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 ``After a new day starts, all lights that have power should be on as long as the 'Off' button isn't pressed``
() ()
= =
let genInitialTransitionToDay = let genInitialInteractionsListThatEndsWithTransitionToDay =
concatGens concatGens
[ Gen.bind genInteractionListThatStartsWithTimeChangedAndEndsWith genTimeChangedToNight [ Gen.bind genInteractionListThatStartsWithTimeChangedAndEndsWith genTimeChangedToNight
genInteractionListExcept isTimeChangedToDay genInteractionListExcept isTimeChangedToDay
Gen.map List.singleton genTimeChangedToDay ] Gen.map List.singleton genTimeChangedToDay ]
concatGens concatGens
[ genInitialTransitionToDay [ genInitialInteractionsListThatEndsWithTransitionToDay
genInteractionListExcept ((=) (HumanInteraction RemotePressedOffButton)) ] genInteractionListExcept ((=) (HumanInteraction RemotePressedOffButton)) ]
|> Arb.fromGen |> Arb.fromGen
|> Prop.forAll |> Prop.forAll