2 #Test 1:ConcurrentRadixTreeTest
5 =============== EXPLORATION STATS ===============
6 NUMBER OF SCHEDULES: 78
7 EXPLORATION TIME: 0:00:44
8 =================================================
10 #Test 2:ConcurrentSuffixTreeTest
13 =============== EXPLORATION STATS ===============
14 NUMBER OF SCHEDULES: 189
15 EXPLORATION TIME: 1:00:00
16 A timeout has occurred after 1:00:00
17 =================================================
19 #Test 3:ConcurrentInvertedRadixTreeTest
23 =============== EXPLORATION STATS ===============
24 NUMBER OF SCHEDULES: 78
25 EXPLORATION TIME: 0:00:44
26 =================================================
29 #Test 4:ConcurrentReversedRadixTreeTest
32 java.lang.ExceptionInInitializerError
33 at java.lang.Class.forName0(Native Method)
34 at java.lang.Class.forName(Class.java:264)
35 at org.junit.runner.JUnitCore.runMain(JUnitCore.java:86)
36 at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47)
37 at org.junit.runner.JUnitCore.main(JUnitCore.java:40)
38 Caused by: java.lang.NullPointerException
39 at edu.tamu.aser.rvinstrumentation.RVRunTime.logFieldAcc(RVRunTime.java:868)
40 at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.getNodeFactory(ConcurrentReversedRadixTreeTest.java:28)
41 at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.<clinit>(ConcurrentReversedRadixTreeTest.java:32)
45 #Test 5: concurrentlinkedhashmap.MCRMemoryLeakTest
47 java.lang.RuntimeException: java.lang.NullPointerException
48 at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:111)
49 Caused by: java.lang.NullPointerException
50 at edu.tamu.aser.scheduling.ThreadInfo.releasedLock(ThreadInfo.java:71)
51 at edu.tamu.aser.exploration.Scheduler.performUnlock(Scheduler.java:725)
52 at edu.tamu.aser.rvinstrumentation.RVRunTime.logUnlock(RVRunTime.java:1303)
53 at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.tryToDrainBuffers(ConcurrentLinkedHashMap.java:419)
54 at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.afterWrite(ConcurrentLinkedHashMap.java:404)
55 at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:727)
56 at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:698)
57 at com.googlecode.concurrentlinkedhashmap.MCRMemoryLeakTest$1.run(MCRMemoryLeakTest.java:74)
58 at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
59 at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:106)
61 .Attempting to release lock that has was not acquired
62 Not sure about what's wrong here? It should be because some events not captured?
63 =============== EXPLORATION STATS ===============
64 NUMBER OF SCHEDULES: 1
65 EXPLORATION TIME: 0:08:11
66 A failure was detected during this exploration!
67 =================================================