Fixing a bug: completing reachability graph with missing past traces.
[jpf-core.git] / bin /
drwxr-xr-x   ..
-rwxr-xr-x 345 javajpf
-rwxr-xr-x 194 jpf
-rwxr-xr-x 1709 jpf-core-sv-comp
-rwxr-xr-x 1808 jpf-sv-comp
-rwxr-xr-x 226 jpf.bat
-rwxr-xr-x 120 print_class
-rwxr-xr-x 152 print_class.bat
-rwxr-xr-x 116 print_events
-rwxr-xr-x 195 test
-rwxr-xr-x 233 test.bat