Fixing a bug: merging the analysis part for locationMode w.r.t manual interaction...
[jpf-core.git] / main.jpf
main.jpf