Adding new examples and tests: Groovy and Java programs.

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

diff --git a/examples/BoundedBuffer.jpf b/examples/BoundedBuffer.jpf
new file mode 100644 (file)
index 0000000..bdd86dc
--- /dev/null
+++ b/examples/BoundedBuffer.jpf
@@ -0,0 +1,4 @@
+target = BoundedBuffer
+
+# this should produce a deadlock
+target.args = 2,4,1
\ No newline at end of file