Testsuite: gov.nasa.jpf.test.mc.threads.SchedulesTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1,43 sec
------------- Standard Output ---------------
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +cg.threads.break_sleep=true +listener=.listener.PathOutputMonitor +pom.all=test/gov/nasa/jpf/test/mc/threads/SchedulesTest-output gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.SchedulesTest testSleep
[WARNING] pattern file not found: test/gov/nasa/jpf/test/mc/threads/SchedulesTest-output
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.threads.SchedulesTest testSleep 

====================================================== search started: 13.1.11 16:14
main starting T
main finished
T started
T sleeping
T finished
T started
T sleeping
main finished
T finished
T finished
main finished

====================================================== path outputs
main starting T
main finished
T started
T sleeping
T finished
~~~~~
main starting T
T started
T sleeping
main finished
T finished
~~~~~
main starting T
T started
T sleeping
T finished
main finished
~~~~~

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

====================================================== search finished: 13.1.11 16:14
------------- ---------------- ---------------

Testcase: testSleep took 1,41 sec
