Dirk end to end analysis
[Benchmarks_CSolver.git] / JMCR-Stable / test_results
1
2 #Test 1:ConcurrentRadixTreeTest
3 status: success
4
5 =============== EXPLORATION STATS ===============
6 NUMBER OF SCHEDULES: 78
7 EXPLORATION TIME: 0:00:44
8 =================================================
9
10 #Test 2:ConcurrentSuffixTreeTest
11 status: success
12
13 =============== EXPLORATION STATS ===============
14 NUMBER OF SCHEDULES: 189
15 EXPLORATION TIME: 1:00:00
16 A timeout has occurred after 1:00:00
17 =================================================
18
19 #Test 3:ConcurrentInvertedRadixTreeTest
20 status: success
21
22
23 =============== EXPLORATION STATS ===============
24 NUMBER OF SCHEDULES: 78
25 EXPLORATION TIME: 0:00:44
26 =================================================
27
28
29 #Test 4:ConcurrentReversedRadixTreeTest
30 status: failed
31
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)
42         ... 5 more
43
44
45 #Test 5: concurrentlinkedhashmap.MCRMemoryLeakTest
46
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)
60
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 =================================================