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

/linux-master/tools/memory-model/scripts/
H A Djudgelitmus.sh42 litmusout=$litmus.out
45 litmusout="`echo $litmus |
49 if test -f "$LKMM_DESTDIR/$litmusout" -a -r "$LKMM_DESTDIR/$litmusout"
53 echo ' --- ' error: \"$LKMM_DESTDIR/$litmusout is not a readable file
56 if grep -q '^Flag data-race$' "$LKMM_DESTDIR/$litmusout"
84 grep '^Observation' $LKMM_DESTDIR/$litmusout
85 if grep -q '^Observation' $LKMM_DESTDIR/$litmusout
88 elif grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout
90 badname=`grep ': Unknown macro ' $LKMM_DESTDIR/$litmusout |
[all...]

Completed in 120 milliseconds