Fixing bugs: state to reachability graph map has to be updated for every new state...
-rw-r--r-- 953 .gitignore
-rw-r--r-- 345 .travis.yml
-rw-r--r-- 11358 LICENSE-2.0.txt
-rw-r--r-- 1241 README.md
drwxr-xr-x - bin
-rw-r--r-- 6865 build.gradle
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - gradle
-rwxr-xr-x 5916 gradlew
-rw-r--r-- 2941 gradlew.bat
-rw-r--r-- 15333 jpf.properties
drwxr-xr-x - lib
-rw-r--r-- 2178 main.jpf
-rw-r--r-- 0 moreStatistics
-rwxr-xr-x 822 run.sh
-rw-r--r-- 30 settings.gradle
drwxr-xr-x - src