do not output detailed symex logging data with -log:1

uuverifiers · Jul 17, 2024 · 1f0a06e · 1f0a06e
1 parent a93c194
commit 1f0a06e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/scala/lazabs/horn/HornWrapper.scala b/src/main/scala/lazabs/horn/HornWrapper.scala
@@ -628,7 +628,7 @@ class SymexHornWrapper(unsimplifiedClauses   : Seq[Clause],
         "----------------------------------- SYMEX " +
           "--------------------------------------")
 
-      symex.printInfo = true
+      symex.printInfo = lazabs.GlobalParameters.get.log
       symex.solve()
     }