First part of boolean flip seems to be clean; need to debug the second part and figur...

[jpf-core.git] / main.jpf

diff --git a/main.jpf b/main.jpf
index 0948c38bc0091b407426fe3934c3f80496f1a022..0665ff278cd59fec861036dfed8e300fbe2cb4b1 100644 (file)
--- a/main.jpf
+++ b/main.jpf
@@ -46,7 +46,7 @@ apps=App1,App2
 #debug_mode=true
 
 # Debug mode for StateReducer
-#printout_state_transition=true
+printout_state_transition=true
 #activate_state_reduction=true
 
 # Timeout in minutes (default is 0 which means no timeout)