Testsuite: gov.nasa.jpf.test.mc.threads.RaceTest
Tests run: 16, Failures: 0, Errors: 0, Time elapsed: 8,35 sec
------------- Standard Output ---------------
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testStaticRace
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testStaticRace 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: r1 detected race!
	at gov.nasa.jpf.test.mc.threads.RaceTest$1.run(RaceTest.java:52)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18a,target=gov.nasa.jpf.test.mc.threads.RaceTest$1@185,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$1.run(RaceTest.java:52)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@195,target=gov.nasa.jpf.test.mc.threads.RaceTest$2@189,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$2.run(RaceTest.java:61)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: r1 detected race!  at ..."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testStaticRaceNoThrow
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testStaticRaceNoThrow 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field gov.nasa.jpf.test.mc.threads.RaceTest.staticField
  Thread-0 at gov.nasa.jpf.test.mc.threads.RaceTest$3.run(RaceTest.java:80)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:80)"  : putstatic
  Thread-1 at gov.nasa.jpf.test.mc.threads.RaceTest$4.run(RaceTest.java:87)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:87)"  : putstatic


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@188,target=gov.nasa.jpf.test.mc.threads.RaceTest$3@183,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$3.run(RaceTest.java:81)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@193,target=gov.nasa.jpf.test.mc.threads.RaceTest$4@187,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$4.run(RaceTest.java:87)


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field gov.nasa.jpf.test.mc.threads.RaceTe..."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRace
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRace 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: r1 detected race!
	at gov.nasa.jpf.test.mc.threads.RaceTest$5.run(RaceTest.java:111)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18e,target=gov.nasa.jpf.test.mc.threads.RaceTest$5@189,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$5.run(RaceTest.java:111)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@199,target=gov.nasa.jpf.test.mc.threads.RaceTest$6@18d,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$6.run(RaceTest.java:122)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: r1 detected race!  at ..."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceNoThrow
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceNoThrow 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field gov.nasa.jpf.test.mc.threads.SharedObject@183.instanceField
  Thread-0 at gov.nasa.jpf.test.mc.threads.RaceTest$7.run(RaceTest.java:145)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:145)"  : putfield
  Thread-1 at gov.nasa.jpf.test.mc.threads.RaceTest$8.run(RaceTest.java:154)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:154)"  : putfield


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18c,target=gov.nasa.jpf.test.mc.threads.RaceTest$7@187,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$7.run(RaceTest.java:146)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@197,target=gov.nasa.jpf.test.mc.threads.RaceTest$8@18b,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$8.run(RaceTest.java:154)


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field gov.nasa.jpf.test.mc.threads.Shared..."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector +race.exclude=gov.nasa.jpf.test.mc.threads.RaceTest* gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceListenerExclude
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceListenerExclude 

====================================================== search started: 13.1.11 16:13

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector +race.include=gov.nasa.jpf.test.mc.threads.RaceTest* gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceListenerInclude
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testInstanceRaceListenerInclude 

====================================================== search started: 13.1.11 16:13

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for field gov.nasa.jpf.test.mc.threads.SharedObject@18e.instanceField
  Thread-0 at gov.nasa.jpf.test.mc.threads.RaceTest$7.run(RaceTest.java:145)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:145)"  : putfield
  Thread-1 at gov.nasa.jpf.test.mc.threads.RaceTest$8.run(RaceTest.java:154)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:154)"  : putfield


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@197,target=gov.nasa.jpf.test.mc.threads.RaceTest$7@192,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$7.run(RaceTest.java:146)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@1a2,target=gov.nasa.jpf.test.mc.threads.RaceTest$8@196,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$8.run(RaceTest.java:154)


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for field gov.nasa.jpf.test.mc.threads.Shared..."

====================================================== search finished: 13.1.11 16:13
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector +race.include=sho.bi.Doo* gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testStaticRaceListenerIncludeOther
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testStaticRaceListenerIncludeOther 

====================================================== search started: 13.1.11 16:13

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:14
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector +cg.threads.break_arrays gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testArrayRaceNoThrow
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testArrayRaceNoThrow 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.listener.PreciseRaceDetector
race for array element [I@182[0]
  Thread-0 at gov.nasa.jpf.test.mc.threads.RaceTest$9.run(RaceTest.java:192)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:192)"  : iastore
  Thread-1 at gov.nasa.jpf.test.mc.threads.RaceTest$10.run(RaceTest.java:199)
		"(gov\nasa\jpf\test\mc\threads\RaceTest.java:199)"  : iastore


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18b,target=gov.nasa.jpf.test.mc.threads.RaceTest$9@186,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$9.run(RaceTest.java:193)

thread index=2,name=Thread-1,status=RUNNING,this=java.lang.Thread@196,target=gov.nasa.jpf.test.mc.threads.RaceTest$10@18a,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$10.run(RaceTest.java:199)


====================================================== results
error #1: gov.nasa.jpf.listener.PreciseRaceDetector "race for array element [I@182[0]    Thread-0 at go..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector +cg.threads.break_arrays gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testNoArrayRaceElements
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testNoArrayRaceElements 

====================================================== search started: 13.1.11 16:14

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:14
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testSameInsnOtherObject
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testSameInsnOtherObject 

====================================================== search started: 13.1.11 16:14

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:14
  running jpf with args: +listener=gov.nasa.jpf.listener.PreciseRaceDetector gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testSameObjectOtherField
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testSameObjectOtherField 

====================================================== search started: 13.1.11 16:14

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testNoSync
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testNoSync 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: testNoSync race
	at gov.nasa.jpf.test.mc.threads.RaceTest$14.run(RaceTest.java:296)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18c,target=gov.nasa.jpf.test.mc.threads.RaceTest$14@18b,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$14.run(RaceTest.java:296)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: testNoSync race  at go..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testTSync
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testTSync 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: testT1Sync race
	at gov.nasa.jpf.test.mc.threads.RaceTest$15.run(RaceTest.java:318)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18c,target=gov.nasa.jpf.test.mc.threads.RaceTest$15@18b,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$15.run(RaceTest.java:320)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: testT1Sync race  at go..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testMainSync
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testMainSync 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: testMainSync race
	at gov.nasa.jpf.test.mc.threads.RaceTest$16.run(RaceTest.java:341)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18c,target=gov.nasa.jpf.test.mc.threads.RaceTest$16@18b,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$16.run(RaceTest.java:341)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: testMainSync race  at ..."

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testBothSync
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testBothSync 

====================================================== search started: 13.1.11 16:14

====================================================== results
no errors detected

====================================================== search finished: 13.1.11 16:14
  running jpf with args: gov.nasa.jpf.util.test.TestJPFHelper gov.nasa.jpf.test.mc.threads.RaceTest testWrongSync
JavaPathfinder v6.0 - (C) RIACS/NASA Ames Research Center


====================================================== system under test
application: gov\nasa\jpf\util\test\TestJPFHelper.java
arguments:   gov.nasa.jpf.test.mc.threads.RaceTest testWrongSync 

====================================================== search started: 13.1.11 16:14

====================================================== error #1
gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty
java.lang.RuntimeException: testWrongSync race
	at gov.nasa.jpf.test.mc.threads.RaceTest$18.run(RaceTest.java:388)


====================================================== snapshot #1
thread index=1,name=Thread-0,status=RUNNING,this=java.lang.Thread@18c,target=gov.nasa.jpf.test.mc.threads.RaceTest$18@18b,priority=5,lockCount=0,suspendCount=0
  call stack:
	at gov.nasa.jpf.test.mc.threads.RaceTest$18.run(RaceTest.java:390)


====================================================== results
error #1: gov.nasa.jpf.jvm.NoUncaughtExceptionsProperty "java.lang.RuntimeException: testWrongSync race  at..."

====================================================== search finished: 13.1.11 16:14
------------- ---------------- ---------------

Testcase: testStaticRace took 1,5 sec
Testcase: testStaticRaceNoThrow took 0,51 sec
Testcase: testInstanceRace took 0,5 sec
Testcase: testInstanceRaceNoThrow took 0,5 sec
Testcase: testInstanceRaceListenerExclude took 0,48 sec
Testcase: testInstanceRaceListenerInclude took 0,47 sec
Testcase: testStaticRaceListenerIncludeOther took 0,47 sec
Testcase: testArrayRaceNoThrow took 0,43 sec
Testcase: testNoArrayRaceElements took 0,46 sec
Testcase: testSameInsnOtherObject took 0,45 sec
Testcase: testSameObjectOtherField took 0,34 sec
Testcase: testNoSync took 0,49 sec
Testcase: testTSync took 0,44 sec
Testcase: testMainSync took 0,33 sec
Testcase: testBothSync took 0,44 sec
Testcase: testWrongSync took 0,46 sec
