Testsuite: gov.nasa.jpf.test.vm.threads.LockedStackDepthTest
Tests run: 5, Failures: 0, Errors: 0, Time elapsed: 3,38 sec
------------- Standard Output ---------------
  running jpf with args: +listener+=,gov.nasa.jpf.listener.LockedStackDepth gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.LockedStackDepthTest recursiveLock
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.LockedStackDepthTest recursiveLock 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +listener+=,gov.nasa.jpf.listener.LockedStackDepth gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.LockedStackDepthTest waitRetainsDepth
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.LockedStackDepthTest waitRetainsDepth 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +listener+=,gov.nasa.jpf.listener.LockedStackDepth +search.class=gov.nasa.jpf.search.heuristic.BFSHeuristic gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.LockedStackDepthTest breadthFirstSearch
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.LockedStackDepthTest breadthFirstSearch 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +listener+=,gov.nasa.jpf.listener.LockedStackDepth +search.class=gov.nasa.jpf.search.heuristic.RandomHeuristic gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.LockedStackDepthTest randomHeuristicSearch
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.LockedStackDepthTest randomHeuristicSearch 

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

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

====================================================== search finished: 13.1.11 16:15
  running jpf with args: +listener+=,gov.nasa.jpf.listener.LockedStackDepth gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.threads.LockedStackDepthTest hitSameStateThroughDifferentSearchPaths
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.LockedStackDepthTest hitSameStateThroughDifferentSearchPaths 

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

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

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

Testcase: recursiveLock took 1,38 sec
Testcase: waitRetainsDepth took 0,51 sec
Testcase: breadthFirstSearch took 0,5 sec
Testcase: randomHeuristicSearch took 0,49 sec
Testcase: hitSameStateThroughDifferentSearchPaths took 0,46 sec
