Add some mutannot mutations

NightLight.Core.Tests/MutationCaseAttribute.fs

@@ -0,0 +1,13 @@
+namespace Mutannot
+
+open System
+
+[<AttributeUsage(AttributeTargets.Method, AllowMultiple = true)>]
+type MutationCaseAttribute(id: string, file: string, line: int, find: string, replace: string) =
+    inherit Attribute()
+
+    member _.Id = id
+    member _.File = file
+    member _.Line = line
+    member _.Find = find
+    member _.Replace = replace

NightLight.Core.Tests/NightLight.Core.Tests.fsproj

@@ -7,6 +7,7 @@
     </PropertyGroup>
 
     <ItemGroup>
+        <Compile Include="MutationCaseAttribute.fs" />
         <Compile Include="FakeHome.fs" />
         <Compile Include="GenHelpers.fs" />
         <Compile Include="InteractionListHelpers.fs" />

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
 
     [<Property(Arbitrary = [| typeof<ArbitraryInteractions> |])>]
+    [<MutationCase("all-lights-right-color-night-is-yellow", "NightLight.Core/Moods.fs", 16, "Red", "Yellow")>]
     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)
 
     [<Property(Arbitrary = [| typeof<ArbitraryInteractions> |], MaxTest = 500)>]
+    [<MutationCase("brightness-command-off-by-one", "NightLight.Core/ZigbeeCommands.fs", 40, "Brightness b -> 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)
 
     [<Property(Arbitrary = [| typeof<ArbitraryInteractions> |], MaxTest = 500)>]
+    [<MutationCase("lights-default-to-off", "NightLight.Core/NightLightStateMachine.fs", 145, "light, On", "light, Off")>]
     let ``All lights with power should have the correct state`` (interactions: Interaction list) =
         let fakeHome = createFakeHomeWithNightLightAndInteract interactions
 

flake.lock

@@ -42,6 +42,27 @@
         "url": "https://codeberg.org/svenvanheugten/git-check-assertions.git"
       }
     },
+    "mutannot": {
+      "inputs": {
+        "nixpkgs": [
+          "nixpkgs"
+        ]
+      },
+      "locked": {
+        "lastModified": 1777439386,
+        "narHash": "sha256-nTBcu7NsN1jwoXr8SoKaW+0EPb5klTU6SSWuXOeuEuA=",
+        "ref": "main",
+        "rev": "1019d3c5d04d441d12b915876110f7493270b988",
+        "revCount": 19,
+        "type": "git",
+        "url": "https://git.memcmp.org/svenvanheugten/mutannot.git"
+      },
+      "original": {
+        "ref": "main",
+        "type": "git",
+        "url": "https://git.memcmp.org/svenvanheugten/mutannot.git"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1773507054,
@@ -62,6 +83,7 @@
       "inputs": {
         "flake-utils": "flake-utils",
         "git-check-assertions": "git-check-assertions",
+        "mutannot": "mutannot",
         "nixpkgs": "nixpkgs"
       }
     },

flake.nix

@@ -7,6 +7,10 @@
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.flake-utils.follows = "flake-utils";
     };
+    mutannot = {
+      url = "git+https://git.memcmp.org/svenvanheugten/mutannot.git?ref=main";
+      inputs.nixpkgs.follows = "nixpkgs";
+    };
   };
   outputs =
     {
@@ -14,6 +18,7 @@
       nixpkgs,
       flake-utils,
       git-check-assertions,
+      mutannot,
     }:
     flake-utils.lib.eachDefaultSystem (
       system:
@@ -26,6 +31,7 @@
           packages = [
             pkgs.dotnet-sdk_10
             git-check-assertions.packages.${system}.default
+            mutannot.packages.${system}.default
           ];
         };
       }