Explored trace needs to be constructed and modified as there are predecessor branches.
[jpf-core.git] / examples / HelloWorld.groovy
2019-06-10 rtrimanaStarting our own version of JPF with support for generics.