Testsuite: gov.nasa.jpf.test.mc.basic.CascadedCGTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 1,98 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.test.mc.basic.CascadedCGTest$IntChoiceCascader gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.CascadedCGTest testCascadedIntIntervals
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.basic.CascadedCGTest testCascadedIntIntervals 

====================================================== search started: 13.1.11 16:12
# listener registered gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="listenerCG",isCascaded:false,3..4,delta=+1,cur=2]
# current listener CG choice: 3
# current insn CG choice: 1
i=1
# current listener CG choice: 4
# current insn CG choice: 1
i=1
# current listener CG choice: 3
# current insn CG choice: 2
i=2
# current listener CG choice: 4
# current insn CG choice: 2
i=2

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.test.mc.basic.CascadedCGTest$FieldAccessCascader gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.CascadedCGTest testMixedThreadDataCGs
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.basic.CascadedCGTest testMixedThreadDataCGs 

====================================================== search started: 13.1.11 16:12
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="root",isCascaded:false,{>main}]
# started thread: ThreadInfo [name=Thread-0,index=1,state=NEW]
#------ 0 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="start",isCascaded:false,{>main,Thread-0}]
<main> mySharedField write: 7
# terminated thread: ThreadInfo [name=main,index=0,state=TERMINATED]
#------ 1 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="terminate",isCascaded:false,{>Thread-0}]
# running thread: ThreadInfo [name=Thread-0,index=1,state=RUNNING]
# listener registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,43]
#------ 2 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,>42,43]
# listener replacing 7 with 42
<thread> mySharedField read: 42
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 3 isNew: true, isEnd: true
#------ [3] backtrack: 2
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,>43]
# listener replacing 7 with 43
<thread> mySharedField read: 43
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 3 isNew: false, isEnd: true
#------ [3] backtrack: 2
#------ [2] backtrack: 1
#------ [1] backtrack: 0
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="start",isCascaded:false,{main,>Thread-0}]
# running thread: ThreadInfo [name=Thread-0,index=1,state=RUNNING]
# listener registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,43]
#------ 4 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="sharedField",isCascaded:true,{>main,Thread-0}]
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,>42,43]
# running thread: ThreadInfo [name=main,index=0,state=RUNNING]
#------ 5 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="sharedField",isCascaded:false,{>main,Thread-0}]
<main> mySharedField write: 7
# terminated thread: ThreadInfo [name=main,index=0,state=TERMINATED]
#------ 6 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="terminate",isCascaded:false,{>Thread-0}]
# running thread: ThreadInfo [name=Thread-0,index=1,state=RUNNING]
# listener registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,43]
#------ 2 isNew: false, isEnd: false
#------ [4] backtrack: 6
#------ [3] backtrack: 5
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="sharedField",isCascaded:false,{main,>Thread-0}]
# running thread: ThreadInfo [name=Thread-0,index=1,state=RUNNING]
# listener registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,43]
#------ 7 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,>42,43]
# listener replacing -1 with 42
<thread> mySharedField read: 42
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 8 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="terminate",isCascaded:false,{>main}]
# running thread: ThreadInfo [name=main,index=0,state=RUNNING]
<main> mySharedField write: 7
# terminated thread: ThreadInfo [name=main,index=0,state=TERMINATED]
#------ 3 isNew: false, isEnd: true
#------ [5] backtrack: 8
#------ [4] backtrack: 7
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,>43]
# listener replacing -1 with 43
<thread> mySharedField read: 43
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 8 isNew: false, isEnd: false
#------ [4] backtrack: 7
#------ [3] backtrack: 5
#------ [2] backtrack: 4
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,>43]
#------ 5 isNew: false, isEnd: false
#------ [2] backtrack: 4
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="sharedField",isCascaded:true,{main,>Thread-0}]
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,>42,43]
# running thread: ThreadInfo [name=Thread-0,index=1,state=RUNNING]
# listener replacing -1 with 42
<thread> mySharedField read: 42
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 9 isNew: true, isEnd: false
# choice: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="terminate",isCascaded:false,{>main}]
# running thread: ThreadInfo [name=main,index=0,state=RUNNING]
<main> mySharedField write: 7
# terminated thread: ThreadInfo [name=main,index=0,state=TERMINATED]
#------ 3 isNew: false, isEnd: true
#------ [3] backtrack: 9
#------ [2] backtrack: 4
# choice: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="fieldReplace",isCascaded:false,42,>43]
# listener replacing -1 with 43
<thread> mySharedField read: 43
# terminated thread: ThreadInfo [name=Thread-0,index=1,state=TERMINATED]
#------ 9 isNew: false, isEnd: false
#------ [2] backtrack: 4
#------ [1] backtrack: 0

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:12
------------- ---------------- ---------------

Testcase: testCascadedIntIntervals took 1,43 sec
Testcase: testMixedThreadDataCGs took 0,53 sec
