Adding Groovy libraries for JPF runs.

diff --git a/lib/README b/lib/README
new file mode 100644 (file)
index 0000000..19c06db
--- /dev/null
+++ b/lib/README
@@ -0,0 +1,3 @@
+1) Both JAR files need to be extracted into groovy-2.5.7 and groovy-dateutil-2.5.7 directories. 
+2) JPF is then given the paths to both directories to model-check Groovy apps.
+3) There might be some other libraries that Groovy apps might need and the JAR files can be found in the Groovy path on your system.

diff --git a/lib/groovy-2.5.7.jar b/lib/groovy-2.5.7.jar
new file mode 100644 (file)
index 0000000..e391e93
Binary files /dev/null and b/lib/groovy-2.5.7.jar differ

diff --git a/lib/groovy-dateutil-2.5.7.jar b/lib/groovy-dateutil-2.5.7.jar
new file mode 100644 (file)
index 0000000..ccbddf1
Binary files /dev/null and b/lib/groovy-dateutil-2.5.7.jar differ