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

[jpf-core.git] / examples / Rand.jpf

diff --git a/examples/Rand.jpf b/examples/Rand.jpf
index 57cd211d001f975824299a43f51b53facb5d5190..e81cc6289d781912e78b18196664b18a82076493 100644 (file)
--- a/examples/Rand.jpf
+++ b/examples/Rand.jpf
@@ -1,3 +1,3 @@
 target = Rand
 cg.enumerate_random = true
-report.console.property_violation=error,trace
+#report.console.property_violation=error,trace