Make verbosity settable (#699)

* Make verbosity settable * Initialize Verbosity
boogie-org · Feb 23, 2023 · 741e7bd · 741e7bd
1 parent 6e5bbfd
commit 741e7bd
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 7 deletions.
diff --git a/Source/Core/CoreOptions.cs b/Source/Core/CoreOptions.cs
@@ -43,7 +43,7 @@ public enum VerbosityLevel
       Trace
     }
 
-    public VerbosityLevel Verbosity { get; }
+    public VerbosityLevel Verbosity { get; set; }
 
     public bool TraceVerify { get; }
 

diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -2,7 +2,7 @@
 
   <!-- Target framework and package configuration -->
   <PropertyGroup>
-    <Version>2.16.1</Version>
+    <Version>2.16.2</Version>
     <TargetFramework>net6.0</TargetFramework>
     <GeneratePackageOnBuild>false</GeneratePackageOnBuild>
     <Authors>Boogie</Authors>

diff --git a/Source/ExecutionEngine/CommandLineOptions.cs b/Source/ExecutionEngine/CommandLineOptions.cs
@@ -433,7 +433,7 @@ public bool PrintWithUniqueASTIds {
 
     public bool Trace => Verbosity == CoreOptions.VerbosityLevel.Trace;
 
-    public CoreOptions.VerbosityLevel Verbosity => verbosity;
+    public CoreOptions.VerbosityLevel Verbosity { get; set; } = CoreOptions.VerbosityLevel.Normal;
 
     public bool NormalizeNames
     {
@@ -826,7 +826,6 @@ void ObjectInvariant5()
     private bool emitDebugInformation = true;
     private bool normalizeNames;
     private bool normalizeDeclarationOrder = true;
-    private CoreOptions.VerbosityLevel verbosity = CoreOptions.VerbosityLevel.Normal;
 
     public List<CoreOptions.ConcurrentHoudiniOptions> Cho { get; set; } = new();
 
@@ -1533,9 +1532,9 @@ protected override bool ParseOption(string name, CommandLineParseState ps)
               ps.CheckBooleanFlag("printInstrumented", x => printInstrumented = x) ||
               ps.CheckBooleanFlag("printWithUniqueIds", x => printWithUniqueAstIds = x) ||
               ps.CheckBooleanFlag("wait", x => Wait = x) ||
-              ps.CheckBooleanFlag("trace", x => verbosity = CoreOptions.VerbosityLevel.Trace) ||
-              ps.CheckBooleanFlag("quiet", x => verbosity = CoreOptions.VerbosityLevel.Quiet) ||
-              ps.CheckBooleanFlag("silent", x => verbosity = CoreOptions.VerbosityLevel.Silent) ||
+              ps.CheckBooleanFlag("trace", x => Verbosity = CoreOptions.VerbosityLevel.Trace) ||
+              ps.CheckBooleanFlag("quiet", x => Verbosity = CoreOptions.VerbosityLevel.Quiet) ||
+              ps.CheckBooleanFlag("silent", x => Verbosity = CoreOptions.VerbosityLevel.Silent) ||
               ps.CheckBooleanFlag("traceTimes", x => TraceTimes = x) ||
               ps.CheckBooleanFlag("tracePOs", x => TraceProofObligations = x) ||
               ps.CheckBooleanFlag("noResolve", x => NoResolve = x) ||