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


====================================================== system under test
application: Account/Main.java
arguments:   7 

====================================================== search started: 3/20/12 3:01 AM

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field Account.Account@1a7.amount
  Thread-4 at Account.Account.transfer(Account.java:27)
"  : putfield
  Thread-5 at Account.Account.transfer(Account.java:23)
"  : getfield


====================================================== snapshot #1
thread java.lang.Thread:{id:0,name:main,status:WAITING,priority:5,lockCount:0,suspendCount:0}
  waiting on: Account.ManageAccount@18d
  call stack:
	at java.lang.Thread.join(Thread.java:-1)
	at Account.Main.main(Main.java:39)

thread Account.ManageAccount:{id:4,name:Thread-4,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  owned locks:Account.Account@1a0
  call stack:
	at Account.Account.transfer(Account.java:27)
	at Account.ManageAccount.run(ManageAccount.java:34)

thread Account.ManageAccount:{id:5,name:Thread-5,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  owned locks:Account.Account@1a7
  call stack:
	at Account.Account.transfer(Account.java:23)
	at Account.ManageAccount.run(ManageAccount.java:29)

thread Account.ManageAccount:{id:6,name:Thread-6,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread Account.ManageAccount:{id:7,name:Thread-7,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread Account.ManageAccount:{id:8,name:Thread-8,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field Account.Account@1a7.amount   Thread..."

====================================================== statistics
elapsed time:       00:03:24
states:             new=36072333, visited=125710644, backtracked=161782941, end=9
search:             maxDepth=233, constraints hit=0
choice generators:  thread=36072332 (signal=0, lock=7385476, shared ref=23577709), data=0
heap:               new=446, released=443, max live=446, gc-cycles=132786397
instructions:       895840444
max memory:         1292MB
loaded code:        classes=84, methods=1328

====================================================== search finished: 3/20/12 3:05 AM