public int DISJOINTSNAPVISITTOSTART=0;
public int DISJOINTSNAPNUMVISITS=0;
public boolean DISJOINTSNAPSTOPAFTER=false;
-
public boolean DISJOINTDEBUGSCHEDULING=false;
-
public boolean DISJOINT_WRITE_ALL_NODE_FINAL_GRAPHS=false;
+ public boolean DISJOINT_COUNT_VISITS=false;
+ public boolean DISJOINT_COUNT_GRAPH_ELEMENTS=false;
+ public String DISJOINT_COUNT_GRAPH_ELEMENTS_FILE=null;
public boolean POINTSTO_CHECK_V_RUNTIME=false;
+ 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;
//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 boolean SSJAVA_INFER_NAIVE_WRITEDOTS=false;
+ public int SSJAVA_INV_ERROR_PROB=0;
+ public int SSJAVA_ERROR_SEED=0;
+ public Set<MethodDescriptor> annotationRequireSet;
public boolean OPTIONAL=false;
public boolean NOLOOP=false;
tasks.add(td);
numtasks++;
}
+
+ public void setAnnotationRequireSet(Set<MethodDescriptor> set){
+ annotationRequireSet=set;
+ }
+
+ public Set<MethodDescriptor> getAnnotationRequireSet(){
+ return annotationRequireSet;
+ }
}