Initial import

[jpf-core.git] / src / examples / oldclassic.jpf

diff --git a/src/examples/oldclassic.jpf b/src/examples/oldclassic.jpf
new file mode 100644 (file)
index 0000000..ea4b55a
--- /dev/null
+++ b/src/examples/oldclassic.jpf
@@ -0,0 +1,5 @@
+# JPF properties to run the oldclassic example with DeadlockAnalyzer report
+
+target=oldclassic
+
+report.console.property_violation=error,snapshot,trace