Initial import

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

diff --git a/src/examples/RobotManager.jpf b/src/examples/RobotManager.jpf
new file mode 100644 (file)
index 0000000..481e64b
--- /dev/null
+++ b/src/examples/RobotManager.jpf
@@ -0,0 +1,5 @@
+target = RobotManager
+
+listener=.listener.TraceStorer
+
+cg.enumerate_random=true