X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=jpf.properties;h=0dd4cae31ba9e1b9c3f49b2ef7443c7526d87fb7;hp=f4f093d2f30fcef24ca6e17326c757b7afaecfe4;hb=126bf671565f5669e8e42fc32995aa59e5449a1f;hpb=2f0b2894c58caf402c6bee86eb80be83d45faa5e

diff --git a/jpf.properties b/jpf.properties
index f4f093d..0dd4cae 100644
--- a/jpf.properties
+++ b/jpf.properties
@@ -131,6 +131,7 @@ vm.backtracker.class = gov.nasa.jpf.vm.DefaultBacktracker
 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
@@ -252,7 +253,7 @@ vm.finalize = false
 
 # 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
@@ -293,7 +294,7 @@ vm.sysprop.source = SELECTED
 #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
@@ -419,7 +420,7 @@ listener.gov.nasa.jpf.Const=gov.nasa.jpf.tools.ConstChecker
 ### PreciseRaceDetector
 
 # we don't check for races in standard libraries
-race.exclude=java.*,javax.*,groovy.*,org.*
+race.exclude=java.*,javax.*
 
 
 ############################### 5. test part #############################