target = TestJpf jpf-core.classpath+=;/home/hoenicke/work/teaching/fm4j/JML/bin/jmlmodels.jar jpf-core.classpath+=;/home/hoenicke/work/teaching/fm4j/JML/bin/jmlruntime.jar #jpf-core.classpath+=;/home/hoenicke/work/teaching/fm4j/openjml-0.8.17/openjml.jar jpf-core.classpath+=;/home/hoenicke/jpf/heap-test report.console.property_violation=error,trace #search.class=.search.heuristic.BFSHeuristic search.class=.search.DFSearch cg.randomize_choices=VAR_SEED