Testsuite: gov.nasa.jpf.test.mc.basic.VerifyTest
Tests run: 6, Failures: 0, Errors: 0, Time elapsed: 3,48 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest 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.VerifyTest testBreak 

====================================================== search started: 13.1.11 16:13

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest testProperties
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.VerifyTest testProperties 

====================================================== search started: 13.1.11 16:13
got target=gov.nasa.jpf.util.test.TestJPFHelper
got foo=bar

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest testChangeListener
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.VerifyTest testChangeListener 

====================================================== search started: 13.1.11 16:13

====================================================== Grouped By: type
All  (choices: 0, generators: 0)

====================================================== Grouped By: package, class, method, instruction, type
All  (choices: 0, generators: 0)

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest testGetBoolean
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.VerifyTest testGetBoolean 

====================================================== search started: 13.1.11 16:13

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest testGetBooleanFalseFirst
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.VerifyTest testGetBooleanFalseFirst 

====================================================== search started: 13.1.11 16:13

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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener+=,gov.nasa.jpf.test.mc.basic.VerifyTest$CountBacktrack gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.basic.VerifyTest backtrackNotificationAfterIgnore
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.VerifyTest backtrackNotificationAfterIgnore 

====================================================== search started: 13.1.11 16:13

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

====================================================== search finished: 13.1.11 16:13
------------- ---------------- ---------------

Testcase: testBreak took 1,35 sec
Testcase: testProperties took 0,5 sec
Testcase: testChangeListener took 0,5 sec
Testcase: testGetBoolean took 0,3 sec
Testcase: testGetBooleanFalseFirst took 0,46 sec
Testcase: backtrackNotificationAfterIgnore took 0,35 sec
