You are here: Home › … › … › … › … › Exercises › Additional Material … › ex11.jpf

ex11.jpf

Plain Text icon ex11.jpf — Plain Text, 331 bytes

File contents

+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