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

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

====================================================== 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.ThreadTest testDaemon
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.ThreadTest testDaemon 

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

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.ThreadTest testDaemonTermination
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.ThreadTest testDaemonTermination 

====================================================== search started: 13.1.11 16:16
main terminating
main terminating
main terminating
main terminating
main terminating
  daemon running in round: 1
main terminating
  daemon running in round: 1

====================================================== 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.ThreadTest testMain
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.ThreadTest testMain 

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

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

====================================================== search finished: 13.1.11 16:16
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.ThreadTest testYield
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.ThreadTest testYield 

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

====================================================== 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.ThreadTest testPriority
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.ThreadTest testPriority 

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

====================================================== 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.ThreadTest testJoin
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.ThreadTest testJoin 

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

====================================================== 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.ThreadTest testTimeoutJoin
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.ThreadTest testTimeoutJoin 

====================================================== search started: 13.1.11 16:16
[main] joining..
[main] joined, t state: RUNNABLE
[t] started
[t] finished
[t] started
[t] finished
[t] started
[t] finished
[t] finished
[main] joined, t state: RUNNABLE
[t] started
[t] finished
[main] joined, t state: TERMINATED
[main] joining..
[main] joined, t state: RUNNABLE
[t] started
[t] finished
[t] started
[t] started
[t] finished
[main] joining..

====================================================== 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.ThreadTest testInterrupt
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.ThreadTest testInterrupt 

====================================================== search started: 13.1.11 16:16
-- t waiting
-- main thread interrupting...
-- t interrupted
-- t terminated
-- main thread terminated
-- t waiting
-- main thread interrupting...
-- t waiting
-- main thread 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.ThreadTest testSimpleThreadGroup
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.ThreadTest testSimpleThreadGroup 

====================================================== search started: 13.1.11 16:16
-- main thread started
-- t started
-- t terminated
-- main thread terminated
-- t started
-- t terminated
-- t terminated
-- t terminated
-- t terminated
-- main thread terminated

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

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

Testcase: testName took 1,39 sec
Testcase: testDaemon took 0,51 sec
Testcase: testDaemonTermination took 0,47 sec
Testcase: testMain took 0,42 sec
Testcase: testYield took 0,44 sec
Testcase: testPriority took 0,43 sec
Testcase: testJoin took 0,44 sec
Testcase: testTimeoutJoin took 0,5 sec
Testcase: testInterrupt took 0,46 sec
Testcase: testSimpleThreadGroup took 0,3 sec
