jpf-core.classpath=\
${jpf-core}/build/jpf-classes.jar;\
- ${jpf-core}/build/asm-7.1.jar;\
${jpf-core}/build/examples
jpf-core.sourcepath=\
vm.serializer.class = gov.nasa.jpf.vm.serialize.CFSerializer
#vm.serializer.class = gov.nasa.jpf.vm.serialize.AdaptiveSerializer
#vm.serializer.class = gov.nasa.jpf.vm.serialize.FilteringSerializer
+filter.class = gov.nasa.jpf.vm.serialize.SmartThingsFilterConfiguration
# the class that models static fields and classes
vm.statics.class = gov.nasa.jpf.vm.OVStatics
#vm.sysprop.keys =
# class we use to model execution time
-vm.time.class = gov.nasa.jpf.vm.SystemTime
+vm.time.class = gov.nasa.jpf.vm.ConstantTime
# if this is set to true, we throw an exception if we encounter any orphan native peer methods
vm.no_orphan_methods = false