Searched refs:datarace_modeled (Results 1 - 1 of 1) sorted by relevance

/linux-master/tools/memory-model/scripts/
H A Djudgelitmus.sh58 datarace_modeled=1
67 if test -n "$datarace_predicted" -a -z "$datarace_modeled" -a -z "$LKMM_HW_MAP_FILE"
71 elif test -z "$datarace_predicted" -a -n "$datarace_modeled"
141 if test \( -n "$LKMM_HW_MAP_FILE" -a "$outcome" = Sometimes \) -o -n "$datarace_modeled"

Completed in 226 milliseconds