Testsuite: gov.nasa.jpf.test.mc.basic.IdleLoopTest
Tests run: 3, Failures: 0, Errors: 0, Time elapsed: 2,47 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.listener.IdleFilter +idle.action=break +log.warning=gov.nasa.jpf.listener.IdleFilter gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.IdleLoopTest testBreak
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.IdleLoopTest testBreak 

====================================================== search started: 13.1.11 16:12
[WARNING] breaks transition on suspicious loop in thread: main
	at gov.nasa.jpf.test.mc.basic.IdleLoopTest.testBreak(gov\nasa\jpf\test\mc\basic\IdleLoopTest.java:38)
[WARNING] breaks transition on suspicious loop in thread: main
	at gov.nasa.jpf.test.mc.basic.IdleLoopTest.testBreak(gov\nasa\jpf\test\mc\basic\IdleLoopTest.java:39)
[WARNING] breaks transition on suspicious loop in thread: main
	at gov.nasa.jpf.test.mc.basic.IdleLoopTest.testBreak(gov\nasa\jpf\test\mc\basic\IdleLoopTest.java:38)

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.listener.IdleFilter +idle.action=prune +log.warning=gov.nasa.jpf.listener.IdleFilter gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.IdleLoopTest testPrune
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.IdleLoopTest testPrune 

====================================================== search started: 13.1.11 16:12
[WARNING] pruned thread: main
	at gov.nasa.jpf.test.mc.basic.IdleLoopTest.testPrune(gov\nasa\jpf\test\mc\basic\IdleLoopTest.java:57)

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

====================================================== search finished: 13.1.11 16:12
  running jpf with args: +listener=.listener.IdleFilter +idle.action=jump +idle.max_backjumps=100 +log.warning=gov.nasa.jpf.listener.IdleFilter gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.IdleLoopTest testJump
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.IdleLoopTest testJump 

====================================================== search started: 13.1.11 16:12
[WARNING] jumped past loop in: main
	at gov.nasa.jpf.test.mc.basic.IdleLoopTest.testJump(gov\nasa\jpf\test\mc\basic\IdleLoopTest.java:70)
Ok, jumped past loop

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

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

Testcase: testBreak took 1,55 sec
Testcase: testPrune took 0,46 sec
Testcase: testJump took 0,44 sec
