Testsuite: gov.nasa.jpf.test.mc.basic.CGNotificationTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1,41 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.test.mc.basic.CGNotificationTest$Sequencer gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.CGNotificationTest testCGNotificationSequence
# CG registered: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="root",isCascaded:false,{main}]
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.CGNotificationTest testCGNotificationSequence 

====================================================== search started: 13.1.11 16:12
# CG set:        gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="root",isCascaded:false,{main}]
#   CG advanced: gov.nasa.jpf.jvm.choice.ThreadChoiceFromSet[id="root",isCascaded:false,{>main}]
# CG registered: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean",isCascaded:false,{>true,false}]
# CG set:        gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean",isCascaded:false,{>true,false}]
#   CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean",isCascaded:false,{>false,true}]
# CG registered: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:false,1..2,delta=+1,cur=0]
# CG registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,4]
# CG set:        gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=0]
# CG set:        gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=1]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,>3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=2]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,>3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=2]
#   CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean",isCascaded:false,{false,>true}]
# CG registered: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:false,1..2,delta=+1,cur=0]
# CG registered: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,4]
# CG set:        gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=0]
# CG set:        gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=1]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,>3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=2]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,>3,4]
#   CG advanced: gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntChoiceFromSet[id="listenerCG",isCascaded:false,3,>4]
# CG processed:  gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:true,1..2,delta=+1,cur=2]
# CG processed:  gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean",isCascaded:false,{false,>true}]

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

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

Testcase: testCGNotificationSequence took 1,39 sec
