Adding tracked variables in main.jpf.

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

diff --git a/examples/Racer.jpf b/examples/Racer.jpf
new file mode 100644 (file)
index 0000000..26fd5f7
--- /dev/null
+++ b/examples/Racer.jpf
@@ -0,0 +1,6 @@
+target = Racer
+
+listener=gov.nasa.jpf.listener.PreciseRaceDetector
+
+report.console.property_violation=error,trace
+