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

====================================================== search started: 13.1.11 16:15
# now starting the stopped thread
# main got past start of stopped thread

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

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

====================================================== search started: 13.1.11 16:15
# now starting the stopped thread
# main got past start of stopped sync thread
# main released lock for stopped sync thread

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

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

====================================================== search started: 13.1.11 16:15
# main now starting the thread
# main now joining the thread..
# t running
# main joined thread
# t running
# main now joining the thread..
# main joined thread

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

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

====================================================== search started: 13.1.11 16:15
# main now starting t
# t running
# main now stopping t
# main now joining the stopped thread..
# main joined thread
# t running
# t running

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

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

====================================================== search started: 13.1.11 16:15
# main now starting t
# t running, now blocking on lock..
# main now stopping t
# main now releasing lock
# main now joining the stopped thread..
# main joined thread
# t running, now blocking on lock..
# main now stopping t
# main now releasing lock
# main now joining the stopped thread..
# t running, now blocking on lock..
# main now stopping t
# main now releasing lock
# main now joining the stopped thread..

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

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

====================================================== search started: 13.1.11 16:15
# main now starting t
# t running, now waiting on lock
# main now stopping t
# main now notifying
# main now joining the stopped thread..
# main joined thread
# t running, now waiting on lock
# main now stopping t
# main now notifying
# main now joining the stopped thread..

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

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

====================================================== search started: 13.1.11 16:15
# main now starting t
# t running, now waiting on lock
# main now stopping t
# main now notifying
# main now joining the stopped thread..
# t caught ThreadDeath
# main joined thread
# t running, now waiting on lock
# main now stopping t
# main now notifying
# main now joining the stopped thread..

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

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

====================================================== search started: 13.1.11 16:15
# main now starting t
# t running
# main now stopping dead t
# main survived stopping t
# t running
# main now stopping dead t
# main survived stopping t

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

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

====================================================== search started: 13.1.11 16:15
# waitee running
# waitee now waiting for main to signal..
# main now starting t
# t now joining waitee..
# main now stopping t
# main now notifying waitee
# main now joining waitee
# waitee terminating
# main now joining t
# main now joining t
# main now joining t
# waitee terminating
# main now joining t
# t now joining waitee..
# main now stopping t
# main now notifying waitee
# main now joining waitee
# main now starting t
# waitee running
# waitee now waiting for main to signal..
# main now starting t

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

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

Testcase: testStopNewThread took 1,36 sec
Testcase: testStopNewSyncThread took 0,49 sec
Testcase: testStopSelf took 0,51 sec
Testcase: testStopRunning took 0,39 sec
Testcase: testStopBlocked took 0,51 sec
Testcase: testStopWaiting took 0,36 sec
Testcase: testStopHandler took 0,47 sec
Testcase: testStopTerminated took 0,35 sec
Testcase: testStopJoin took 0,5 sec
