svenvanheugten/mutannot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Add example project

Browse source
This commit is contained in:
Sven van Heugten 2026-04-27 22:51:25 +02:00
parent eed9190ddb
commit b05c2dc0a2
No known key found for this signature in database
GPG key ID: D612F88666F4F660
4 changed files with 66 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

22
example-tests/Example.Tests/CalculatorTests.fs Normal file
View file

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