[TEMP] Enable silicon logs

serokell · Apr 25, 2024 · 12aa5c2 · 12aa5c2
1 parent b42879a
commit 12aa5c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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