+ public boolean DO_DEFINITE_REACH_ANALYSIS=false;
+ public boolean DISJOINT_USE_GLOBAL_SWEEP=true;
+ public boolean DISJOINT_USE_STRONG_UPDATE=true;
+ public boolean DISJOINT_USE_PREDICATES=true;
+ public boolean DISJOINT_SUMMARIZE_PER_CLASS=false;
+
+
+ public boolean OOOJAVA=false;
+ public boolean OOODEBUG=false;
+ public boolean RCR=false;
+ public boolean RCR_DEBUG=false;
+ public boolean RCR_DEBUG_VERBOSE=false;
+ public boolean NOSTALLTR=false;
+
+ //SSJava
+ public boolean SSJAVA=false;
+ public boolean SSJAVADEBUG=false;
+ public boolean SSJAVAINFER=false;
+ public boolean SSJAVA_GENCODE_PREVENT_CRASHES=false;
+ public boolean SSJAVA_INJECT_ERROR=false;
+ public int SSJAVA_INV_ERROR_PROB=0;
+ public int SSJAVA_ERROR_SEED=0;