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
# this is a preemption boundary specifying the max number of instructions after which we
# break the current transition if there are other runnable threads
-vm.max_transition_length = 50000
+vm.max_transition_length = 2000000000
# are thread ids of terminated threads with recycled thread objects reused when creating new
# threads. This is required for programs that sequentially create many short living threads
#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