Testsuite: gov.nasa.jpf.jvm.ElementInfoTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 0,09 sec
------------- Standard Output ---------------
caught gov.nasa.jpf.JPFException: pinDown limit exceeded: ElementInfo@0, getPinDownCount() = 255
------------- ---------------- ---------------

Testcase: testPinDownCounter took 0,06 sec
