Add mutannot

This commit is contained in:
Sven van Heugten 2026-04-29 07:13:12 +02:00
parent c09915ac60
commit eaae9fe9b8
No known key found for this signature in database
GPG key ID: D612F88666F4F660
4 changed files with 42 additions and 0 deletions

View file

@ -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

View file

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

22
flake.lock generated
View file

@ -42,6 +42,27 @@
"url": "https://codeberg.org/svenvanheugten/git-check-assertions.git" "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": { "nixpkgs": {
"locked": { "locked": {
"lastModified": 1773507054, "lastModified": 1773507054,
@ -62,6 +83,7 @@
"inputs": { "inputs": {
"flake-utils": "flake-utils", "flake-utils": "flake-utils",
"git-check-assertions": "git-check-assertions", "git-check-assertions": "git-check-assertions",
"mutannot": "mutannot",
"nixpkgs": "nixpkgs" "nixpkgs": "nixpkgs"
} }
}, },

View file

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