Constant Field Values


Contents
cz.vutbr.*

cz.vutbr.fit.racedetector.LogProducer
public final java.lang.String POISON_PILL "end"

cz.vutbr.fit.racedetector.NoiseInjection
public static final boolean DEBUG false

cz.vutbr.fit.racedetector.RaceDetector
public static final java.lang.String ATOMICITY_FILE "atomicity.xml"
public static final java.lang.String HEALVAR_FILE "healvariables"
public static final java.lang.String NOISELOC_FILE "noiselocations"
public static final java.lang.String NOISEVAR_FILE "noisevariables"
public static final java.lang.String OMITVAR_FILE "omitvariables"
public static final java.lang.String PROPERTIES_FILE "RDKingProperties"
public static final java.lang.String RD_DIRECTORY "race_detector"
public static final java.lang.String VERSION " RaceDetector for ConTest version: 1.9, FIT VUT Brno (2006-2008)"

cz.vutbr.fit.racedetector.RDVarSet
public static final boolean DEBUG false