Robust/src/Benchmarks/oooJava/dissertation-example-investigate/makefile

   1 PROGRAM=OoOJavaExample
   2
   3 SOURCE_FILES=OoOJavaExample.java
   4
   5 NUM_OOO_WORKERS=24
   6 NUM_RCR_WORKERS=23
   7
   8 BMFLAGS= -heapsize-mb 5000
   9
  10 DISJOINTDEBUGEXTRAS= -disjoint-write-dots final
  11 #-disjoint-debug-snap-method OoOJavaExample.OoOJavaExample 0 100 true
  12 #
  13 #-do-definite-reach-analysis
  14
  15 include ../master-makefile