From 12aa5c2a2164ceb9a1081ebbd3e72ba4e703af37 Mon Sep 17 00:00:00 2001
From: Roman Melnikov <roman.melnikov@serokell.io>
Date: Thu, 25 Apr 2024 13:27:28 +0200
Subject: [PATCH] [TEMP] Enable silicon logs

---
 test/run.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/run.sh b/test/run.sh
index 142d3a912df..2e4bd7d2166 100755
--- a/test/run.sh
+++ b/test/run.sh
@@ -345,7 +345,7 @@ do
         if [ "$vpr_succeeded" -eq 0 ]
         then
 	  run silicon java -Xmx2048m -Xss16m -cp $VIPER_SERVER \
-	    viper.silicon.SiliconRunner --logLevel OFF --z3Exe $(which z3) \
+	    viper.silicon.SiliconRunner --logLevel DEBUG --z3Exe $(which z3) \
 	    $out/$base.vpr
         fi
       else