Initial import

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

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