From: rtrimana Date: Wed, 24 Jul 2019 19:46:55 +0000 (-0700) Subject: Adding Groovy libraries for JPF runs. X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=2ef926a7ab76797b64c132eff01bcefee29b9827;ds=sidebyside Adding Groovy libraries for JPF runs. --- diff --git a/lib/README b/lib/README new file mode 100644 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 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 index 0000000..ccbddf1 Binary files /dev/null and b/lib/groovy-dateutil-2.5.7.jar differ