Home
last modified time | relevance | path

Searched refs:datarace_predicted (Results 1 – 1 of 1) sorted by relevance

/openbmc/linux/tools/memory-model/scripts/
H A Djudgelitmus.sh67 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"