|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |