Adding a missing library.
authorrtrimana <rtrimana@uci.edu>
Tue, 30 Jul 2019 17:26:48 +0000 (10:26 -0700)
committerrtrimana <rtrimana@uci.edu>
Tue, 30 Jul 2019 17:26:48 +0000 (10:26 -0700)
lib/README
lib/groovy-json-2.5.7.jar [new file with mode: 0644]

index 19c06db..843b47d 100644 (file)
@@ -1,3 +1,3 @@
-1) Both JAR files need to be extracted into groovy-2.5.7 and groovy-dateutil-2.5.7 directories. 
+1) All JAR files need to be extracted into their 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.
 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-json-2.5.7.jar b/lib/groovy-json-2.5.7.jar
new file mode 100644 (file)
index 0000000..b65d2bb
Binary files /dev/null and b/lib/groovy-json-2.5.7.jar differ