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


====================================================== system under test
application: weblech/ui/TextSpider.java
arguments:   /../weblech/config/Spider.properties 

====================================================== search started: 01/02/12 03:27



====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field weblech.spider.Spider@26e.downloadsInProgress
  Spider-Thread-1 at weblech.spider.Spider.run(Spider.java:228)
"  : putfield
  Spider-Thread-2 at weblech.spider.Spider.run(Spider.java:166)
"  : getfield


====================================================== snapshot #1
thread java.lang.Thread:{id:1,name:Spider-Thread-1,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  owned locks:weblech.spider.DownloadQueue@272
  call stack:
	at weblech.spider.Spider.run(Spider.java:225)

thread java.lang.Thread:{id:2,name:Spider-Thread-2,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:
	at weblech.spider.Spider.run(Spider.java:166)

thread java.lang.Thread:{id:3,name:Spider-Thread-3,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:

thread java.lang.Thread:{id:4,name:Spider-Thread-4,status:RUNNING,priority:5,lockCount:0,suspendCount:0}
  call stack:


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field weblech.spider.Spider@26e.downloads..."

====================================================== statistics
elapsed time:       00:17:54
states:             new=47190, visited=94525, backtracked=141579, end=39
search:             maxDepth=187, constraints hit=0
choice generators:  thread=47189 (signal=0, lock=20071, shared ref=25317), data=0
heap:               new=69729, released=121904, max live=2287, gc-cycles=141715
instructions:       2650591
max memory:         146MB
loaded code:        classes=212, methods=2785

====================================================== search finished: 01/02/12 03:45