From b05c2dc0a260d749f4d84c699d07e6366e80b621 Mon Sep 17 00:00:00 2001
From: Sven van Heugten <sven@memcmp.org>
Date: Mon, 27 Apr 2026 22:51:25 +0200
Subject: [PATCH] Add example project

---
 example-tests/Example.Tests/Calculator.fs     | 10 +++++++++
 .../Example.Tests/CalculatorTests.fs          | 22 +++++++++++++++++++
 .../Example.Tests/Example.Tests.fsproj        | 21 ++++++++++++++++++
 .../Example.Tests/MutationCaseAttribute.fs    | 13 +++++++++++
 4 files changed, 66 insertions(+)
 create mode 100644 example-tests/Example.Tests/Calculator.fs
 create mode 100644 example-tests/Example.Tests/CalculatorTests.fs
 create mode 100644 example-tests/Example.Tests/Example.Tests.fsproj
 create mode 100644 example-tests/Example.Tests/MutationCaseAttribute.fs

diff --git a/example-tests/Example.Tests/Calculator.fs b/example-tests/Example.Tests/Calculator.fs
new file mode 100644
index 0000000..cfcce3b
--- /dev/null
+++ b/example-tests/Example.Tests/Calculator.fs
@@ -0,0 +1,10 @@
+namespace Example
+
+module Calculator =
+    let addOne value = value + 1
+
+    let absoluteDifference left right =
+        if left >= right then left - right else right - left
+
+    let isLeapYear year =
+        year % 4 = 0 && (year % 100 <> 0 || year % 400 = 0)
diff --git a/example-tests/Example.Tests/CalculatorTests.fs b/example-tests/Example.Tests/CalculatorTests.fs
new file mode 100644
index 0000000..f05ee54
--- /dev/null
+++ b/example-tests/Example.Tests/CalculatorTests.fs
@@ -0,0 +1,22 @@
+namespace Example.Tests
+
+open Example
+open Mutannot
+open Xunit
+
+type CalculatorTests() =
+    [<Fact>]
+    [<MutationCase("calc-add-one", "example-tests/Example.Tests/Calculator.fs", 4, "value + 1", "value - 1")>]
+    member _.AddOne_increments() =
+        Assert.Equal(42, Calculator.addOne 41)
+
+    [<Fact>]
+    [<MutationCase("calc-abs-diff-branch", "example-tests/Example.Tests/Calculator.fs", 7, "left - right", "right - left")>]
+    member _.AbsoluteDifference_preserves_order() =
+        Assert.Equal(7, Calculator.absoluteDifference 10 3)
+
+    [<Fact>]
+    [<MutationCase("calc-leap-year-century", "example-tests/Example.Tests/Calculator.fs", 10, "year % 100 <> 0", "year % 100 = 0")>]
+    member _.LeapYear_handles_centuries() =
+        Assert.True(Calculator.isLeapYear 2000)
+        Assert.False(Calculator.isLeapYear 1900)
diff --git a/example-tests/Example.Tests/Example.Tests.fsproj b/example-tests/Example.Tests/Example.Tests.fsproj
new file mode 100644
index 0000000..c8c7dce
--- /dev/null
+++ b/example-tests/Example.Tests/Example.Tests.fsproj
@@ -0,0 +1,21 @@
+<Project Sdk="Microsoft.NET.Sdk">
+  <PropertyGroup>
+    <TargetFramework>net10.0</TargetFramework>
+    <IsPackable>false</IsPackable>
+  </PropertyGroup>
+
+  <ItemGroup>
+    <Compile Include="MutationCaseAttribute.fs" />
+    <Compile Include="Calculator.fs" />
+    <Compile Include="CalculatorTests.fs" />
+  </ItemGroup>
+
+  <ItemGroup>
+    <PackageReference Include="Microsoft.NET.Test.Sdk" Version="17.14.1" />
+    <PackageReference Include="xunit" Version="2.9.3" />
+    <PackageReference Include="xunit.runner.visualstudio" Version="3.1.4">
+      <PrivateAssets>all</PrivateAssets>
+      <IncludeAssets>runtime; build; native; contentfiles; analyzers; buildtransitive</IncludeAssets>
+    </PackageReference>
+  </ItemGroup>
+</Project>
diff --git a/example-tests/Example.Tests/MutationCaseAttribute.fs b/example-tests/Example.Tests/MutationCaseAttribute.fs
new file mode 100644
index 0000000..12e6475
--- /dev/null
+++ b/example-tests/Example.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