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:37 PM

====================================================== error 1
gov.nasa.jpf.vm.NoUncaughtExceptionsProperty
java.lang.AssertionError
	at Actions.Specification3(Actions.java:106)
	at Actions.timeShift(Actions.java:52)
	at Main.randomSequenceOfActions(Main.java:47)
	at Main.main(Main.java:11)


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:RUNNING,priority:5,isDaemon:false,lockCount:0,suspendCount:0}
  call stack:
	at Actions.Specification3(Actions.java:106)
	at Actions.timeShift(Actions.java:52)
	at Main.randomSequenceOfActions(Main.java:47)
	at Main.main(Main.java:11)


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

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

====================================================== results
error #1: gov.nasa.jpf.vm.NoUncaughtExceptionsProperty "java.lang.AssertionError  at Actions.Specification..."

====================================================== statistics
elapsed time:       00:00:00
states:             new=1,visited=0,backtracked=0,end=0
search:             maxDepth=1,constraints=0
choice generators:  thread=1 (signal=0,lock=1,sharedRef=0,threadApi=0,reschedule=0), data=0
heap:               new=404,released=0,maxLive=0,gcCycles=0
instructions:       3840
max memory:         236MB
loaded code:        classes=70,methods=1377

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