From 56ef751145bc4f18362bfbca19cada68e86c5525 Mon Sep 17 00:00:00 2001 From: Sven van Heugten Date: Wed, 29 Apr 2026 07:25:05 +0200 Subject: [PATCH] Add some mutannot mutations --- NightLight.Core.Tests/NightLightTests.fs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/NightLight.Core.Tests/NightLightTests.fs b/NightLight.Core.Tests/NightLightTests.fs index 7ad546b..a66d65e 100644 --- a/NightLight.Core.Tests/NightLightTests.fs +++ b/NightLight.Core.Tests/NightLightTests.fs @@ -1,5 +1,6 @@ namespace NightLight.Core.Tests +open Mutannot open NightLight.Core.Core open NightLight.Core.Tests.InteractionListGenerators open NightLight.Core.Tests.InteractionListHelpers @@ -31,6 +32,7 @@ type NightLightTests() = fakeHome [ |])>] + [] let ``All lights should either be off or have the right color`` (interactions: Interaction list) = let fakeHome = createFakeHomeWithNightLightAndInteract interactions let partOfDay = getPartOfDayAfterInteractions interactions @@ -48,6 +50,7 @@ type NightLightTests() = |> Prop.trivial (fakeHome.LightsThatAreOn.Length = 0) [ |], MaxTest = 500)>] + [ b", "Brightness b -> b + 1")>] let ``All lights should either be off or have a brightness that fits its color`` (interactions: Interaction list) = let fakeHome = createFakeHomeWithNightLightAndInteract interactions let time = getTimeAfterInteractions interactions |> _.TimeOfDay @@ -88,6 +91,7 @@ type NightLightTests() = |> Prop.trivial (fakeHome.LightsThatAreOn.Length = 0) [ |], MaxTest = 500)>] + [] let ``All lights with power should have the correct state`` (interactions: Interaction list) = let fakeHome = createFakeHomeWithNightLightAndInteract interactions