Testsuite: gov.nasa.jpf.test.vm.threads.JoinTest
Tests run: 20, Failures: 0, Errors: 0, Time elapsed: 10,68 sec
------------- Standard Output ---------------
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testSimpleJoin
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.JoinTest testSimpleJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testNoRunnableSimpleJoin
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.JoinTest testNoRunnableSimpleJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +vm.storage.class=null gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testBlockedJoin
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.JoinTest testBlockedJoin 

====================================================== search started: 13.1.11 16:15
main started thread-0
thread-0 done
main returned from join
main started thread-0
thread-0 done
main returned from join
main started thread-0
thread-0 done
main returned from join
thread-0 done
main started thread-0
main returned from join

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinHoldingLock
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.JoinTest testJoinHoldingLock 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testNotAliveJoin
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.JoinTest testNotAliveJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testPreJoinInterrupt
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.JoinTest testPreJoinInterrupt 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testInterruptedJoin
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.JoinTest testInterruptedJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinLoop
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.JoinTest testJoinLoop 

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0


====================================================== snapshot #1
thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  waiting on: java.lang.Thread@0
  call stack:
	at java.lang.Thread.join(Thread.java:-1)
	at gov.nasa.jpf.test.vm.threads.JoinTest.testJoinLoop(JoinTest.java:205)
	at java.lang.reflect.Method.invoke(Method.java:-1)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testMultipleJoins
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.JoinTest testMultipleJoins 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinBeforeStart
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.JoinTest testJoinBeforeStart 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinAfterNotify
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.JoinTest testJoinAfterNotify 

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

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: main termination
main joining..
thread-0 notifying
thread-0 terminating
main joined
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: main termination
thread-0 notifying
thread-0 terminating
main joining..
main joined
~~~~~~~~~~~~~~~~~~~~~~~ end path output

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinNotifyDeadlock
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.JoinTest testJoinNotifyDeadlock 

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.vm.threads.JoinTest$10@162,priority=5,lockCount=1,suspendCount=0


====================================================== snapshot #1
thread index=0,name=main,status=WAITING,this=java.lang.Thread@0,target=null,priority=5,lockCount=0,suspendCount=0
  waiting on: gov.nasa.jpf.test.vm.threads.JoinTest$10@162
  call stack:
	at java.lang.Thread.join(Thread.java:-1)
	at gov.nasa.jpf.test.vm.threads.JoinTest.testJoinNotifyDeadlock(JoinTest.java:305)
	at java.lang.reflect.Method.invoke(Method.java:-1)
	at gov.nasa.jpf.util.test.TestJPF.runTestOfClass(TestJPF.java:474)
	at gov.nasa.jpf.util.test.TestJPFHelper.main(TestJPFHelper.java:51)

thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.vm.threads.JoinTest$10@162,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.vm.threads.JoinTest$10@162
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.vm.threads.JoinTest$10.run(JoinTest.java:294)


====================================================== results
error #1: gov.nasa.jpf.jvm.NotDeadlockedProperty "deadlock encountered:    thread index=0,name=main,..."

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testRedundantJoin
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.JoinTest testRedundantJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testJoinThreadSet
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.JoinTest testJoinThreadSet 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testRecursiveJoinThreadGroup
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.JoinTest testRecursiveJoinThreadGroup 

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

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 2 active threads
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
..main now joining 1 active threads
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 2 active threads
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
t11 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 2 active threads
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
t11 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 2 active threads
main joining: t1
t1 run
t2 run
t11 run
main joined: t1
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
t11 run
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
t2 run
t11 run
main joined: t1
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
..main now joining 2 active threads
main joining: t2
t2 run
main joined: t2
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
..main now joining 2 active threads
main joining: t2
t2 run
t11 run
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
t2 run
..main now joining 1 active threads
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
t2 run
t11 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
t11 run
..main now joining 1 active threads
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t2 run
..main now joining 2 active threads
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t2 run
..main now joining 2 active threads
main joining: t1
t1 run
t11 run
main joined: t1
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t2 run
t11 run
..main now joining 1 active threads
main joining: t1
t1 run
main joined: t1
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t2 run
..main now joining 1 active threads
main joining: t1
t1 run
main joined: t1
t11 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
t1 run
t2 run
t11 run
main joined: t
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
t2 run
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
..main now joining 3 active threads
main joining: t1
t1 run
t11 run
t2 run
main joined: t1
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
..main now joining 2 active threads
main joining: t11
t11 run
main joined: t11
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 1 active threads
main joining: t
t run
main joined: t
t1 run
..main now joining 2 active threads
main joining: t11
t11 run
t2 run
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 1 active threads
main joining: t
main joined: t
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
t2 run
..main now joining 1 active threads
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
t2 run
t11 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
t11 run
..main now joining 1 active threads
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
t2 run
t11 run
main joined: t1
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 2 active threads
main joining: t
t run
t1 run
t2 run
t11 run
main joined: t
main joining: t1
main joined: t1
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 2 active threads
main joining: t
main joined: t
main joining: t1
main joined: t1
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
..main now joining 1 active threads
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
t11 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
t11 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
t2 run
t11 run
main joined: t1
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
t1 run
t2 run
t11 run
main joined: t
main joining: t1
main joined: t1
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 3 active threads
main joining: t
main joined: t
main joining: t1
main joined: t1
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 2 active threads
main joining: t1
main joined: t1
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 3 active threads
main joining: t1
main joined: t1
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 2 active threads
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 1 active threads
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t11 run
t2 run
main joining 1 active threads
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t2 run
t1 run
t11 run
main joining 2 active threads
main joining: t1
main joined: t1
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t2 run
t11 run
t1 run
main joining 1 active threads
main joining: t1
main joined: t1
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
main joined: t2
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t2
t2 run
t11 run
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
t2 run
t11 run
main joined: t1
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
t1 run
t2 run
t11 run
main joined: t
main joining: t1
main joined: t1
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 4 active threads
main joining: t
main joined: t
main joining: t1
main joined: t1
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t2
t2 run
main joined: t2
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t2
t2 run
t11 run
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
t2 run
t11 run
main joined: t
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t run
t2 run
t11 run
main joining 3 active threads
main joining: t
main joined: t
main joining: t2
main joined: t2
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t2 run
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t2 run
main joining 2 active threads
main joining: t
t run
t11 run
main joined: t
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t2 run
t run
t11 run
main joining 2 active threads
main joining: t
main joined: t
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t11 run
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t11 run
main joining 2 active threads
main joining: t
t run
t2 run
main joined: t
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t11 run
t run
t2 run
main joining 2 active threads
main joining: t
main joined: t
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t2 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t2 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
t11 run
main joined: t1
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t2 run
main joining 3 active threads
main joining: t
t run
t1 run
t11 run
main joined: t
main joining: t1
main joined: t1
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t2 run
t run
t1 run
t11 run
main joining 3 active threads
main joining: t
main joined: t
main joining: t1
main joined: t1
main joining: t11
main joined: t11
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
..main now joining 1 active threads
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
t2 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
main joined: t11
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
main joined: t1
main joining: t11
t11 run
t2 run
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
main joined: t
main joining: t1
t1 run
t11 run
t2 run
main joined: t1
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
main joining 4 active threads
main joining: t
t run
t1 run
t11 run
t2 run
main joined: t
main joining: t1
main joined: t1
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t11 run
t2 run
main joining 4 active threads
main joining: t
main joined: t
main joining: t1
main joined: t1
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t11 run
t2 run
main joining 3 active threads
main joining: t1
main joined: t1
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t11 run
t2 run
main joining 2 active threads
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t11
t11 run
main joined: t11
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
main joined: t
main joining: t11
t11 run
t2 run
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 3 active threads
main joining: t
t run
t11 run
t2 run
main joined: t
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
t run
t11 run
t2 run
main joining 3 active threads
main joining: t
main joined: t
main joining: t11
main joined: t11
main joining: t2
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t11
t11 run
main joined: t11
..main now joining 1 active threads
main joining: t2
t2 run
main joined: t2
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t1 run
main joining 2 active threads
main joining: t
t run
main joined: t
main joining: t11
t11 run
main joined: t11
t2 run
..main now joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: end
t run
t1 run
t2 run
t11 run
main joining 0 active threads
main done
~~~~~~~~~~~~~~~~~~~~~~~ end path output

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testInterruptThreadWaitingToJoin
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.JoinTest testInterruptThreadWaitingToJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest 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.JoinTest testTimeoutJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testZeroTimeoutJoin
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.JoinTest testZeroTimeoutJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testNegativeTimeoutJoin
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.JoinTest testNegativeTimeoutJoin 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +cg.threads.break_start=true +cg.threads.break_yield=true +vm.tree_output=false +vm.path_output=true gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.JoinTest testNestedLocksJoin
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.JoinTest testNestedLocksJoin 

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

~~~~~~~~~~~~~~~~~~~~~~~ begin program output at: main termination
main waiting on t2
t2 notifying
t2 waiting
main waiting on t1
t1 notifying
t1 waiting
main notifying t1
main joining t1
t1 terminating
main notifying t2
main joining t2
t2 terminating
main terminating
~~~~~~~~~~~~~~~~~~~~~~~ end path output

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

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

Testcase: testSimpleJoin took 1,39 sec
Testcase: testNoRunnableSimpleJoin took 0,49 sec
Testcase: testBlockedJoin took 0,47 sec
Testcase: testJoinHoldingLock took 0,49 sec
Testcase: testNotAliveJoin took 0,44 sec
Testcase: testPreJoinInterrupt took 0,47 sec
Testcase: testInterruptedJoin took 0,46 sec
Testcase: testJoinLoop took 0,31 sec
Testcase: testMultipleJoins took 0,46 sec
Testcase: testJoinBeforeStart took 0,4 sec
Testcase: testJoinAfterNotify took 0,31 sec
Testcase: testJoinNotifyDeadlock took 0,43 sec
Testcase: testRedundantJoin took 0,42 sec
Testcase: testJoinThreadSet took 0,35 sec
Testcase: testRecursiveJoinThreadGroup took 1,81 sec
Testcase: testInterruptThreadWaitingToJoin took 0,37 sec
Testcase: testTimeoutJoin took 0,44 sec
Testcase: testZeroTimeoutJoin took 0,32 sec
Testcase: testNegativeTimeoutJoin took 0,43 sec
Testcase: testNestedLocksJoin took 0,32 sec
