From 91289cbaca1d25010a8ebb6e977fd07eaa48a0fd Mon Sep 17 00:00:00 2001
From: MchKosticyn <mishakosticyn@yandex.ru>
Date: Thu, 9 May 2024 14:37:42 +0300
Subject: [PATCH] [style] fixed style

---
 VSharp.API/VSharpOptions.cs    | 2 +-
 VSharp.Explorer/Explorer.fs    | 1 -
 VSharp.Runner/RunnerProgram.cs | 1 -
 3 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/VSharp.API/VSharpOptions.cs b/VSharp.API/VSharpOptions.cs
index 60e9af2a2..91541e2e9 100644
--- a/VSharp.API/VSharpOptions.cs
+++ b/VSharp.API/VSharpOptions.cs
@@ -89,7 +89,7 @@ public readonly record struct VSharpOptions
     private const string DefaultOutputDirectory = "";
     private const string DefaultRenderedTestsDirectory = "";
     private const bool DefaultRenderTests = false;
-    private const SearchStrategy DefaultSearchStrategy = SearchStrategy.BFS;
+    private const SearchStrategy DefaultSearchStrategy = SearchStrategy.ExecutionTreeContributedCoverage;
     private const Verbosity DefaultVerbosity = Verbosity.Quiet;
     private const uint DefaultRecursionThreshold = 0u;
     private const ExplorationMode DefaultExplorationMode = ExplorationMode.Sili;
diff --git a/VSharp.Explorer/Explorer.fs b/VSharp.Explorer/Explorer.fs
index 8b166db8a..847c78dfc 100644
--- a/VSharp.Explorer/Explorer.fs
+++ b/VSharp.Explorer/Explorer.fs
@@ -75,7 +75,6 @@ type private SVMExplorer(explorationOptions: ExplorationOptions, statistics: SVM
     let emptyState = Memory.EmptyIsolatedState()
     let interpreter = ILInterpreter()
 
-
     do
         if options.visualize then
             DotVisualizer explorationOptions.outputDirectory :> IVisualizer |> Application.setVisualizer
diff --git a/VSharp.Runner/RunnerProgram.cs b/VSharp.Runner/RunnerProgram.cs
index 2fa6aaf31..f41e3515b 100644
--- a/VSharp.Runner/RunnerProgram.cs
+++ b/VSharp.Runner/RunnerProgram.cs
@@ -2,7 +2,6 @@
 using System;
 using System.Collections.Generic;
 using System.CommandLine;
-using System.CommandLine.Invocation;
 using System.Diagnostics;
 using System.IO;
 using System.Linq;