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

Add a test for the initial state of the remote-controlled lights

Browse source
This commit is contained in:
Sven van Heugten 2026-01-08 22:22:47 +01:00
parent 150fa265de
commit c74238e105
1 changed files with 15 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -71,6 +71,21 @@ type NightLightTests() =
doesLightHavePowerAfter light interactions = fakeHome.LightShouldHaveState light _.IsOn doesLightHavePowerAfter light interactions = fakeHome.LightShouldHaveState light _.IsOn
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
let ``All remote controlled lights with power should be on if the 'Off' button on the remote was never pressed``
(light: Light)
=
concatGens
[ genTimeChanged |> Gen.map List.singleton
genInteractionsExcept light ((=) (HumanInteraction RemotePressedOffButton)) ]
|> Arb.fromGen
|> Prop.forAll
<| fun interactions ->
let fakeHome = createFakeHomeWithNightLightAndInteract interactions
doesLightHavePowerAfter light interactions
==> fakeHome.LightShouldHaveState light _.IsOn
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>] [<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
let ``After pressing 'On' on the remote, if the 'Off' button isn't pressed, all remotely controlled lights with power should be on`` let ``After pressing 'On' on the remote, if the 'Off' button isn't pressed, all remotely controlled lights with power should be on``
(light: Light) (light: Light)