Testsuite: gov.nasa.jpf.test.mc.basic.BreakTest
Tests run: 4, Failures: 0, Errors: 0, Time elapsed: 2,69 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.test.mc.basic.BreakTest$FieldIgnorer gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.BreakTest testSimpleIgnore
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.BreakTest testSimpleIgnore 

====================================================== 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}]
# ignoring after: putfield

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.test.mc.basic.BreakTest$FieldBreaker gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.BreakTest testSimpleBreak
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.BreakTest testSimpleBreak 

====================================================== 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}]
# breaking after: putfield
CG set: BreakGenerator {main}

CG advanced: BreakGenerator {main}


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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.test.mc.basic.BreakTest$FooCallBreaker gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.BreakTest testDeepCGBreak
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.BreakTest testDeepCGBreak 

====================================================== 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 set: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{>false,true}]
CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{>true,false}]
foo,bar branch
# breaking & pruning after: invokevirtual gov.nasa.jpf.test.mc.basic.BreakTest.foo()V
# registered (ignored) CG: null
CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{true,>false}]
bar,foo branch
bar
# breaking & pruning after: invokevirtual gov.nasa.jpf.test.mc.basic.BreakTest.foo()V
# registered (ignored) CG: null

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.test.mc.basic.BreakTest$VerifyNextIntBreaker gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.BreakTest testIgnoreAfterCG
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.BreakTest testIgnoreAfterCG 

====================================================== 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 set: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{>false,true}]
CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{>true,false}]
true branch (should be first)
# breaking & pruning after: executenative JPF_gov_nasa_jpf_jvm_Verify.getInt__II__I
# registered (ignored) CG: gov.nasa.jpf.jvm.choice.IntIntervalGenerator[id="verifyGetInt(II)",isCascaded:false,1..2,delta=+1,cur=0]
CG advanced: gov.nasa.jpf.jvm.BooleanChoiceGenerator[[id="verifyGetBoolean(Z)",isCascaded:false,{true,>false}]
false branch

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

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

Testcase: testSimpleIgnore took 1,3 sec
Testcase: testSimpleBreak took 0,47 sec
Testcase: testDeepCGBreak took 0,44 sec
Testcase: testIgnoreAfterCG took 0,46 sec
