[style] fixed style

VSharp.CoverageTool/CoverageTool.fs

@@ -203,12 +203,12 @@ type PassiveCoverageTool(workingDirectory: DirectoryInfo, method: MethodBase) =
             )
             proc.WaitForExit()
 
-            if proc.ExitCode <> 0 then
-                Logger.error $"Run with coverage failed with exit code: {proc.ExitCode}"
-                -1
-            else
+            if proc.IsSuccess() then
                 match getHistory () with
                 | Some history -> computeCoverage method.CFG history
                 | None ->
                     Logger.error "Failed to retrieve coverage locations"
                     -1
+            else
+                Logger.error $"Run with coverage failed with exit code: {proc.ExitCode}"
+                -1

VSharp.Test/Benchmarks/Benchmarks.cs

@@ -32,8 +32,9 @@ private static bool TryBuildGeneratedTests()
         process.StartInfo = info;
         process.Start();
         process.WaitForExit();
-        return process.ExitCode == 0;
+        return process.IsSuccess();
     }
+
     private class Reporter: IReporter
     {
         private readonly UnitTests _unitTests;

VSharp.Utils/ExternMocking.fs

@@ -131,20 +131,20 @@ module ExtMocking =
 
         member x.MockedMethod
             with get() = mockedMethod
-            and private set(method) =
+            and private set method =
                 mockedMethod <- method
 
         member x.MockImplementations
             with get() = mockImplementations
-            and private set(methodImplementations) =
+            and private set methodImplementations =
                 mockImplementations <- methodImplementations
 
         member x.PatchMethod
             with get() =
                 match patchMethod with
                 | Some pm -> pm
                 | None -> internalfail "ExternMocking patch method called before initialization"
-            and private set(m) =
+            and private set m =
                 patchMethod <- Some m
 
         member x.Build(moduleBuilder : ModuleBuilder, testId) =