diff --git a/NightLight.Core.Tests/NightLightTests.fs b/NightLight.Core.Tests/NightLightTests.fs index 9da7fc9..818233e 100644 --- a/NightLight.Core.Tests/NightLightTests.fs +++ b/NightLight.Core.Tests/NightLightTests.fs @@ -38,8 +38,8 @@ type NightLightTests() = [ |])>] let ``All lights should be either off, white or yellow during the day`` (light: Light) = concatGens - [ genInitialInteractionsAndEndWith light =<< genTimeChangedToDay - genInteractionsExcept light isTimeChangedToNight ] + [ genInitialInteractionsAndEndWith light =<< genTimeChangedToRandomDayTime + genInteractionsExcept light isTimeChangedToAnyNightTime ] |> Arb.fromGen |> Prop.forAll <| fun interactions -> @@ -52,8 +52,8 @@ type NightLightTests() = [ |])>] let ``All lights should be either off or red during the night`` (light: Light) = concatGens - [ genInitialInteractionsAndEndWith light =<< genTimeChangedToNight - genInteractionsExcept light isTimeChangedToDay ] + [ genInitialInteractionsAndEndWith light =<< genTimeChangedToRandomNightTime + genInteractionsExcept light isTimeChangedToAnyDayTime ] |> Arb.fromGen |> Prop.forAll <| fun interactions -> @@ -91,9 +91,9 @@ type NightLightTests() = (light: Light) = concatGens - [ genInitialInteractionsAndEndWith light =<< genTimeChangedToNight - genInteractionsExcept light isTimeChangedToDay - genTimeChangedToDay |> Gen.map List.singleton + [ genInitialInteractionsAndEndWith light =<< genTimeChangedToRandomNightTime + genInteractionsExcept light isTimeChangedToAnyDayTime + genTimeChangedToRandomDayTime |> Gen.map List.singleton genInteractionsExcept light ((=) (HumanInteraction RemotePressedOffButton)) ] |> Arb.fromGen |> Prop.forAll @@ -111,7 +111,7 @@ type NightLightTests() = [ genInitialInteractionsAndEndWith light (HumanInteraction RemotePressedOffButton) genInteractionsExcept light (fun interaction -> interaction = HumanInteraction RemotePressedOnButton - || interaction |> isTimeChangedToDay) ] + || interaction |> isTimeChangedToAnyDayTime) ] |> Arb.fromGen |> Prop.forAll <| fun interactions -> diff --git a/NightLight.Core.Tests/TimeChangedGenerators.fs b/NightLight.Core.Tests/TimeChangedGenerators.fs index ebe3d60..4769474 100644 --- a/NightLight.Core.Tests/TimeChangedGenerators.fs +++ b/NightLight.Core.Tests/TimeChangedGenerators.fs @@ -12,13 +12,15 @@ let private isTimeChangedMeetingCondition condition interaction = | TimeChanged time when condition time -> true | _ -> false -let isTimeChangedToDay = isTimeChangedMeetingCondition isDay +let isTimeChangedToAnyDayTime = isTimeChangedMeetingCondition isDay -let isTimeChangedToNight = isTimeChangedMeetingCondition (not << isDay) +let isTimeChangedToAnyNightTime = isTimeChangedMeetingCondition (not << isDay) let genTimeChanged = ArbMap.defaults |> ArbMap.generate |> Gen.map Interaction.TimeChanged -let genTimeChangedToDay = genTimeChanged |> Gen.filter isTimeChangedToDay +let genTimeChangedToRandomDayTime = + genTimeChanged |> Gen.filter isTimeChangedToAnyDayTime -let genTimeChangedToNight = genTimeChanged |> Gen.filter isTimeChangedToNight +let genTimeChangedToRandomNightTime = + genTimeChanged |> Gen.filter isTimeChangedToAnyNightTime