X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=blobdiff_plain;f=jpf.properties;h=0dd4cae31ba9e1b9c3f49b2ef7443c7526d87fb7;hp=57b7670b2b000341c2d8612628bd0ba49419f74d;hb=d5abca72b4e24ce48e43a54521032006ea3a2a41;hpb=a72c2918352d91d3977dffa479007873e5da1a96;ds=sidebyside

diff --git a/jpf.properties b/jpf.properties
index 57b7670..0dd4cae 100644
--- a/jpf.properties
+++ b/jpf.properties
@@ -253,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