Initial import

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

diff --git a/src/examples/DiningPhil.jpf b/src/examples/DiningPhil.jpf
new file mode 100644 (file)
index 0000000..901b818
--- /dev/null
+++ b/src/examples/DiningPhil.jpf
@@ -0,0 +1,3 @@
+target = DiningPhil
+
+search.class = .search.heuristic.BFSHeuristic