From 1f0a06efceb46d6aa19d9cd0f945aa61fbf19d50 Mon Sep 17 00:00:00 2001
From: Philipp Ruemmer <ph_r@gmx.net>
Date: Wed, 17 Jul 2024 18:04:45 +0200
Subject: [PATCH] do not output detailed symex logging data with -log:1

---
 src/main/scala/lazabs/horn/HornWrapper.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/lazabs/horn/HornWrapper.scala b/src/main/scala/lazabs/horn/HornWrapper.scala
index 7dcce80d..d23e6372 100644
--- 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()
     }