Lines Matching refs:LKMM_DESTDIR
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"
77 elif test -n "$LKMM_HW_MAP_FILE" && grep -q '^Observation' $LKMM_DESTDIR/$lkmmout > /dev/null 2>&1
79 outcome=`grep -m 1 '^Observation ' $LKMM_DESTDIR/$lkmmout | awk '{ print $3 }'`
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 |
95 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
97 echo ' !!! '$badmsg >> $LKMM_DESTDIR/$litmusout 2>&1
100 elif grep '^Command exited with non-zero status 124' $LKMM_DESTDIR/$litmusout
103 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
105 echo ' !!! Timeout' >> $LKMM_DESTDIR/$litmusout 2>&1
110 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
112 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmusout 2>&1
118 if grep '^Observation' $LKMM_DESTDIR/$litmusout | grep -q 'Never 0 0$'
123 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
125 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
129 elif grep '^Observation' $LKMM_DESTDIR/$litmusout | grep -q 'Never 0 0$'
132 if ! grep -q '!!!' $LKMM_DESTDIR/$litmusout
134 echo " !!! Unexpected non-$outcome deadlock" $litmus >> $LKMM_DESTDIR/$litmusout 2>&1
137 elif grep '^Observation' $LKMM_DESTDIR/$litmusout | grep -q $outcome || test "$outcome" = Maybe
150 if ! grep -qe "$flag" $LKMM_DESTDIR/$litmusout
152 echo " $flag non-$outcome verification" >> $LKMM_DESTDIR/$litmusout 2>&1
155 tail -2 $LKMM_DESTDIR/$litmusout | head -1