Testsuite: gov.nasa.jpf.test.mc.threads.OldClassicTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 1,98 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.OldClassicTest testDFSearch
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.OldClassicTest testDFSearch 

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask@15f,priority=5,lockCount=1,suspendCount=0
  thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask@174,priority=5,lockCount=1,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask@15f,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.OldClassicTest$Event@15a
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$Event.wait_for_event(OldClassicTest.java:38)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask.run(OldClassicTest.java:61)

thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask@174,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.OldClassicTest$Event@15b
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$Event.wait_for_event(OldClassicTest.java:38)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask.run(OldClassicTest.java:87)


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

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +search.class=gov.nasa.jpf.search.heuristic.BFSHeuristic gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.OldClassicTest testBFSHeuristic
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.OldClassicTest testBFSHeuristic 

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

====================================================== error #1
gov.nasa.jpf.jvm.NotDeadlockedProperty
deadlock encountered:
  thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
  thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask@161,priority=5,lockCount=1,suspendCount=0
  thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask@176,priority=5,lockCount=1,suspendCount=0


====================================================== snapshot #1
thread index=1,name=Thread-0,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask@161,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.OldClassicTest$Event@15c
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$Event.wait_for_event(OldClassicTest.java:38)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$FirstTask.run(OldClassicTest.java:61)

thread index=2,name=Thread-1,status=WAITING,this=gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask@176,priority=5,lockCount=1,suspendCount=0
  waiting on: gov.nasa.jpf.test.mc.threads.OldClassicTest$Event@15d
  call stack:
	at java.lang.Object.wait(Object.java:-1)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$Event.wait_for_event(OldClassicTest.java:38)
	at gov.nasa.jpf.test.mc.threads.OldClassicTest$SecondTask.run(OldClassicTest.java:87)


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

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

Testcase: testDFSearch took 1,4 sec
Testcase: testBFSHeuristic took 0,56 sec
