Adding new examples and tests: Groovy and Java programs.

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

diff --git a/examples/RandComplex.jpf b/examples/RandComplex.jpf
new file mode 100644 (file)
index 0000000..49d418d
--- /dev/null
+++ b/examples/RandComplex.jpf
@@ -0,0 +1,3 @@
+target = RandComplex
+cg.enumerate_random = true
+#report.console.property_violation=error,trace