Fixing a bug: completing reachability graph with missing past traces.
[jpf-core.git] / lib / extract.sh
2019-08-01 rtrimanaAdding extract script for libraries.