+classpath=.;

target = ex11.Test
#target.args = arg1,arg2

#search.class = gov.nasa.jpf.search.DFSearch
#search.class = gov.nasa.jpf.search.PathSearch
#search.class = gov.nasa.jpf.search.RandomSearch
#search.class = gov.nasa.jpf.search.heuristic.BFSHeuristic
#search.class = gov.nasa.jpf.search.heuristic.DFSHeuristic