Initial import

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

diff --git a/src/examples/HelloWorld.jpf b/src/examples/HelloWorld.jpf
new file mode 100644 (file)
index 0000000..8545924
--- /dev/null
+++ b/src/examples/HelloWorld.jpf
@@ -0,0 +1 @@
+target=HelloWorld
\ No newline at end of file