JavaPathfinder v6.0 (rev 652+) - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: RaxExtended/RAXextended.java
arguments:   19 3 

====================================================== search started: 20/02/12 04:10

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field RaxExtended.Shared@17c.x
  Thread-3 at RaxExtended.Shared.write(RAXextended.java:199)
"  : putfield
  Thread-4 at RaxExtended.Shared.write(RAXextended.java:199)
"  : getfield


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field RaxExtended.Shared@17c.x    Thread-..."

====================================================== statistics
elapsed time:       00:06:28
states:             new=301, visited=87, backtracked=387, end=0
search:             maxDepth=11, constraints hit=0
choice generators:  thread=69 (signal=0, lock=8, shared ref=51), data=0
heap:               new=865, released=151, max live=433, gc-cycles=274
instructions:       15563
max memory:         73MB
loaded code:        classes=92, methods=1390

====================================================== search finished: 20/02/12 04:16