Give the tests slightly better names

This commit is contained in:
Sven van Heugten 2026-01-08 22:03:39 +01:00
parent d7fac9c3d0
commit 6ff7ce19b2

View file

@ -72,7 +72,7 @@ type NightLightTests() =
doesLightHavePowerAfter light interactions = fakeHome.LightShouldHaveState light _.IsOn doesLightHavePowerAfter light interactions = fakeHome.LightShouldHaveState light _.IsOn
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>] [<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
let ``After pressing 'On' on the remote, all remotely controlled lights with power should be on, as long as the 'Off' button isn't pressed`` 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)
= =
concatGens concatGens
@ -87,7 +87,7 @@ type NightLightTests() =
==> fakeHome.LightShouldHaveState light _.IsOn ==> fakeHome.LightShouldHaveState light _.IsOn
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>] [<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
let ``After a new day starts, all remotely controlled lights with power should be on, as long as the 'Off' button isn't pressed`` let ``After a new day starts, if the 'Off' button isn't pressed, all remotely controlled lights with power should be on``
(light: Light) (light: Light)
= =
concatGens concatGens
@ -104,7 +104,7 @@ type NightLightTests() =
==> fakeHome.LightShouldHaveState light _.IsOn ==> fakeHome.LightShouldHaveState light _.IsOn
[<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>] [<Property(Arbitrary = [| typeof<ArbitraryRemotelyControlledLight> |])>]
let ``After pressing 'Off' on the remote, all remotely controlled lights should be off as long as the 'On' button isn't pressed and a new day doesn't start`` let ``After pressing 'Off' on the remote, if the 'On' button isn't pressed and a new day doesn't start, all remotely controlled lights should be off``
(light: Light) (light: Light)
= =
concatGens concatGens