| 1 | # All dependencies for the CIVL project are defined here.
|
|---|
| 2 |
|
|---|
| 3 | # Cobertura is a test coverage analysis tool for Java.
|
|---|
| 4 | # Donwload from here: http://cobertura.sourceforge.net/download.html
|
|---|
| 5 | # Unpack, place the directory somewhere, and set the directory path here:
|
|---|
| 6 | cobertura.lib.dir=/VSL/Tools/lib/cobertura
|
|---|
| 7 |
|
|---|
| 8 | # JUnit is a well-known automated unit testing framework
|
|---|
| 9 | # for Java. Download the JUnit jar file from
|
|---|
| 10 | # https://github.com/KentBeck/junit/downloads
|
|---|
| 11 | # All you need is the basic jar, e.g., "junit-4.10.jar".
|
|---|
| 12 | # Set the path to it here:
|
|---|
| 13 | junit.jar=/VSL/Tools/lib/junit.jar
|
|---|
| 14 |
|
|---|
| 15 | # ANTLR is needed to build the parsers from the grammars,
|
|---|
| 16 | # and in addition the runtime components are needed to
|
|---|
| 17 | # compile and execute the ABC code. Best to just download
|
|---|
| 18 | # the "complete" java binaries jar from
|
|---|
| 19 | # http://www.antlr.org/download.html
|
|---|
| 20 | # and then set this path:
|
|---|
| 21 | antlr.jar=/VSL/Tools/src/antlr/antlr-3.4/lib/antlr-3.4-complete.jar
|
|---|
| 22 |
|
|---|
| 23 | # The ANTLR runtime library classes are incorporated into
|
|---|
| 24 | # the final JAR of the ABC project (abc.jar). While in theory
|
|---|
| 25 | # those could be extracted from the complete ANTLR jar above,
|
|---|
| 26 | # it is easier to just have a pointer to the runtime class files.
|
|---|
| 27 | # I just downloaded the runtime-only source from the ANTLR site
|
|---|
| 28 | # and compiled it into a separate directory.
|
|---|
| 29 | # This directory should contain the "org" directory,
|
|---|
| 30 | # whose subdirectories eventually contain all the .class files
|
|---|
| 31 | # in the ANTLR runtime.
|
|---|
| 32 | antlr.runtime.bin=/VSL/Tools/bin/antlr-3.4-runtime
|
|---|
| 33 |
|
|---|
| 34 | # SARL is the Symbolic Algebra and Reasoning Library.
|
|---|
| 35 | # CIVL uses SARL for reasoning about symbolic values during
|
|---|
| 36 | # model checking.
|
|---|
| 37 | sarl.jar=/tools/sarl.jar
|
|---|
| 38 |
|
|---|
| 39 | # GMC is the generic model checker.
|
|---|
| 40 | gmc.jar=/tools/gmc.jar
|
|---|
| 41 |
|
|---|
| 42 | # ABC is the C compiler used by CIVL.
|
|---|
| 43 | abc.jar=/tools/abc.jar
|
|---|
| 44 |
|
|---|
| 45 | # CVC3 is an SMT solver
|
|---|
| 46 | cvc3.jar=/tools/cvc3/java/lib/libcvc3-5.0.0.jar
|
|---|
| 47 | cvc3.jni.dir=/tools/cvc3/java/lib
|
|---|
| 48 |
|
|---|
| 49 | # PCOLLECTIONS is an external collections framework used by CIVL.
|
|---|
| 50 | pcollections.jar=/tools/pcollections.jar
|
|---|
| 51 |
|
|---|
| 52 | # CLJ-DS
|
|---|
| 53 | clj-ds.dir = /tools/clj-ds-master/target/classes |
|---|
