Testsuite: gov.nasa.jpf.test.vm.threads.WaitTest
Tests run: 7, Failures: 0, Errors: 0, Time elapsed: 4,16 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testVerySimpleWait
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.vm.threads.WaitTest testVerySimpleWait 

====================================================== search started: 13.1.11 16:16
running testVerySimpleWait()
waiting
timed out

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testSimpleWait
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.vm.threads.WaitTest testSimpleWait 

====================================================== search started: 13.1.11 16:16
running testSimpleWait()
waiting
notifying
notified
waiting
notifying

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testSyncRunWait
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.vm.threads.WaitTest testSyncRunWait 

====================================================== search started: 13.1.11 16:16
running testSyncRunWait()
main notifying
thread-0 running
main notifying
thread-0 running
main notifying

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testTimeoutWait
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.vm.threads.WaitTest testTimeoutWait 

====================================================== search started: 13.1.11 16:16
running testTimeoutWait()
waiting
wait timed out

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testLoopedWait
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.vm.threads.WaitTest testLoopedWait 

====================================================== search started: 13.1.11 16:16
running testLoopedWait()
waiting 
notifying
notified 
waiting 
notifying
notified 
notifying
notified 
notifying
waiting 
notifying
waiting 
notified 
waiting 
notifying
waiting 
notifying
waiting 
notifying
notifying
waiting 
notifying
waiting 
notifying
notifying
notifying
waiting 
waiting 
notifying
notifying

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testInterruptedWait
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.vm.threads.WaitTest testInterruptedWait 

====================================================== search started: 13.1.11 16:16
running testInterruptedWait()
waiting
interrupting
waiting
interrupting

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.WaitTest testNotifyAll
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.vm.threads.WaitTest testNotifyAll 

====================================================== search started: 13.1.11 16:16
running testNotifyAll()
waiter1 waiting
waiter2 waiting
main notifying all waiters..
..done
waiter1 notified
waiter2 notified
waiter2 notified
waiter2 notified
waiter2 notified
waiter1 notified
main notifying all waiters..
..done
waiter2 waiting
waiter2 waiting
main notifying all waiters..
..done
waiter1 waiting
waiter1 waiting

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

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

Testcase: testVerySimpleWait took 1,3 sec
Testcase: testSimpleWait took 0,51 sec
Testcase: testSyncRunWait took 0,45 sec
Testcase: testTimeoutWait took 0,44 sec
Testcase: testLoopedWait took 0,47 sec
Testcase: testInterruptedWait took 0,45 sec
Testcase: testNotifyAll took 0,47 sec
