unindented -> unindentPatch

This commit is contained in:
Sven van Heugten 2026-05-12 16:02:33 +02:00
parent 5a521e7bfc
commit 63d0219e9e
No known key found for this signature in database
GPG key ID: D612F88666F4F660

View file

@ -79,7 +79,7 @@ let getMetadataLoadContext (assemblyPath: string) =
new MetadataLoadContext(pathAssemblyResolver, typeof<obj>.Assembly.GetName().Name) new MetadataLoadContext(pathAssemblyResolver, typeof<obj>.Assembly.GetName().Name)
let unindented (s: string) = let unindentPatch (s: string) =
let lines = s.Split([| "\r\n"; "\n" |], StringSplitOptions.None) let lines = s.Split([| "\r\n"; "\n" |], StringSplitOptions.None)
let indexOfFirstNonEmptyLine = let indexOfFirstNonEmptyLine =
@ -114,7 +114,7 @@ let getMutationCases projectPath =
| "Mutannot.MutationCaseAttribute" -> | "Mutannot.MutationCaseAttribute" ->
Some Some
{ TestName = $"{m.DeclaringType.FullName}.{m.Name}" { TestName = $"{m.DeclaringType.FullName}.{m.Name}"
Patch = attr.ConstructorArguments[0].Value :?> string |> unindented } Patch = attr.ConstructorArguments[0].Value :?> string |> unindentPatch }
| _ -> None)) | _ -> None))
|> Seq.toList |> Seq.toList