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