keep a copy of my current dissertation example to investiaget further and another...

[IRC.git] / Robust / src / Benchmarks / oooJava / dissertation-example-investigate / makefile

diff --git a/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/makefile b/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/makefile
new file mode 100644 (file)
index 0000000..2ec9880
--- /dev/null
+++ b/Robust/src/Benchmarks/oooJava/dissertation-example-investigate/makefile
@@ -0,0 +1,15 @@
+PROGRAM=OoOJavaExample
+
+SOURCE_FILES=OoOJavaExample.java
+
+NUM_OOO_WORKERS=24
+NUM_RCR_WORKERS=23
+
+BMFLAGS= -heapsize-mb 5000
+
+DISJOINTDEBUGEXTRAS= -disjoint-write-dots final
+#-disjoint-debug-snap-method OoOJavaExample.OoOJavaExample 0 100 true
+#
+#-do-definite-reach-analysis
+
+include ../master-makefile