Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / test_results

diff --git a/JMCR-Stable/test_results b/JMCR-Stable/test_results
new file mode 100644 (file)
index 0000000..2ea76fd
--- /dev/null
+++ b/JMCR-Stable/test_results
@@ -0,0 +1,67 @@
+
+#Test 1:ConcurrentRadixTreeTest
+status: success
+
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 78
+EXPLORATION TIME: 0:00:44
+=================================================
+
+#Test 2:ConcurrentSuffixTreeTest
+status: success
+
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 189
+EXPLORATION TIME: 1:00:00
+A timeout has occurred after 1:00:00
+=================================================
+
+#Test 3:ConcurrentInvertedRadixTreeTest
+status: success
+
+
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 78
+EXPLORATION TIME: 0:00:44
+=================================================
+
+
+#Test 4:ConcurrentReversedRadixTreeTest
+status: failed
+
+java.lang.ExceptionInInitializerError
+       at java.lang.Class.forName0(Native Method)
+       at java.lang.Class.forName(Class.java:264)
+       at org.junit.runner.JUnitCore.runMain(JUnitCore.java:86)
+       at org.junit.runner.JUnitCore.runMainAndExit(JUnitCore.java:47)
+       at org.junit.runner.JUnitCore.main(JUnitCore.java:40)
+Caused by: java.lang.NullPointerException
+       at edu.tamu.aser.rvinstrumentation.RVRunTime.logFieldAcc(RVRunTime.java:868)
+       at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.getNodeFactory(ConcurrentReversedRadixTreeTest.java:28)
+       at com.googlecode.concurrenttrees.mcr.tests.ConcurrentReversedRadixTreeTest.<clinit>(ConcurrentReversedRadixTreeTest.java:32)
+       ... 5 more
+
+
+#Test 5: concurrentlinkedhashmap.MCRMemoryLeakTest
+
+java.lang.RuntimeException: java.lang.NullPointerException
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:111)
+Caused by: java.lang.NullPointerException
+        at edu.tamu.aser.scheduling.ThreadInfo.releasedLock(ThreadInfo.java:71)
+        at edu.tamu.aser.exploration.Scheduler.performUnlock(Scheduler.java:725)
+        at edu.tamu.aser.rvinstrumentation.RVRunTime.logUnlock(RVRunTime.java:1303)
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.tryToDrainBuffers(ConcurrentLinkedHashMap.java:419)
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.afterWrite(ConcurrentLinkedHashMap.java:404)
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:727)
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentLinkedHashMap.put(ConcurrentLinkedHashMap.java:698)
+        at com.googlecode.concurrentlinkedhashmap.MCRMemoryLeakTest$1.run(MCRMemoryLeakTest.java:74)
+        at java.util.concurrent.Executors$RunnableAdapter.call(Executors.java:511)
+        at com.googlecode.concurrentlinkedhashmap.ConcurrentTestHarness$1.run(ConcurrentTestHarness.java:106)
+
+.Attempting to release lock that has was not acquired
+Not sure about what's wrong here? It should be because some events not captured?
+=============== EXPLORATION STATS ===============
+NUMBER OF SCHEDULES: 1
+EXPLORATION TIME: 0:08:11
+A failure was detected during this exploration!
+=================================================
\ No newline at end of file