Testsuite: gov.nasa.jpf.test.vm.basic.EndStateTest
Tests run: 2, Failures: 0, Errors: 0, Time elapsed: 1,88 sec
------------- Standard Output ---------------
  running jpf with args: +listener=.test.vm.basic.EndStateListener gov.nasa.jpf.test.vm.basic.EndStateTest testSingleThread
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\vm\basic\EndStateTest.java
arguments:   testSingleThread 

====================================================== search started: 13.1.11 16:14
** this is testSingleThread - it should succeed
EndStateListener checking thread: thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0

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

====================================================== search finished: 13.1.11 16:14
  running jpf with args: +listener=.test.vm.basic.EndStateListener gov.nasa.jpf.test.vm.basic.EndStateTest testMultipleThreads
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\test\vm\basic\EndStateTest.java
arguments:   testMultipleThreads 

====================================================== search started: 13.1.11 16:14
** this is testMultipleThreads - it should succeed
** this is thread main terminating
** this is Thread-0 terminating
EndStateListener checking thread: thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
EndStateListener checking thread: thread index=1,name=Thread-0,status=TERMINATED,this=null,priority=5,lockCount=0,suspendCount=0
** this is Thread-0 terminating
** this is thread main terminating
EndStateListener checking thread: thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
EndStateListener checking thread: thread index=1,name=Thread-0,status=TERMINATED,this=null,priority=5,lockCount=0,suspendCount=0
** this is Thread-0 terminating
** this is thread main terminating
EndStateListener checking thread: thread index=0,name=main,status=TERMINATED,this=null,target=null,priority=5,lockCount=0,suspendCount=0
EndStateListener checking thread: thread index=1,name=Thread-0,status=TERMINATED,this=null,priority=5,lockCount=0,suspendCount=0

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

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

Testcase: testSingleThread took 1,33 sec
Testcase: testMultipleThreads took 0,53 sec
