Testsuite: gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest
Tests run: 1, Failures: 0, Errors: 0, Time elapsed: 1,55 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.vm.basic.OutOfMemoryErrorTest outOfMemoryErrorFails
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.basic.OutOfMemoryErrorTest outOfMemoryErrorFails 

====================================================== search started: 13.1.11 16:14
[SEVERE] JPF out of memory

====================================================== search constraint
JPF out of memory

====================================================== snapshot 
initial program state

====================================================== results
error #1: gov.nasa.jpf.jvm.NoOutOfMemoryErrorProperty

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

Testcase: outOfMemoryErrorFails took 1,53 sec
