jpf-core/bin/jpf config.jpf


--------------------------------------------------------------------------------


symbolic.min_int=-2147483648
symbolic.min_long=-9223372036854775808
symbolic.min_short=-32768
symbolic.min_byte=-128
symbolic.min_char=0
symbolic.max_int=2147483647
symbolic.max_long=9223372036854775807
symbolic.max_short=32767
symbolic.max_byte=127
symbolic.max_char=65535
symbolic.min_double=4.9E-324
symbolic.max_double=1.7976931348623157E308
JavaPathfinder core system v8.0 (rev 32) - (C) 2005-2014 United States Government. All rights reserved.


====================================================== system under test
Main.main()

====================================================== search started: 7/29/18 4:28 PM
[SEVERE] JPF out of memory

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

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

====================================================== Method Summaries

====================================================== Method Summaries (HTML)

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

====================================================== statistics
elapsed time:       00:01:27
states:             new=0,visited=0,backtracked=0,end=0
search:             maxDepth=0,constraints=1
choice generators:  thread=1 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=0), data=0
heap:               new=350,released=0,maxLive=0,gcCycles=0
instructions:       76214483
max memory:         0MB
loaded code:        classes=61,methods=1293

====================================================== search finished: 7/29/18 4:29 PM