Home
last modified time | relevance | path

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

/tools/memory-model/scripts/
Djudgelitmus.sh27 if test -f "$LKMM_DESTDIR/$litmus".out -a -r "$LKMM_DESTDIR/$litmus".out
31 echo ' --- ' error: \"$LKMM_DESTDIR/$litmus\".out is not a readable file
41 grep '^Observation' $LKMM_DESTDIR/$litmus.out
42 if grep -q '^Observation' $LKMM_DESTDIR/$litmus.out
47 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
49 echo ' !!! Verification error' >> $LKMM_DESTDIR/$litmus.out 2>&1
55 if grep '^Observation' $LKMM_DESTDIR/$litmus.out | grep -q 'Never 0 0$'
60 if ! grep -q '!!!' $LKMM_DESTDIR/$litmus.out
62 echo " !!! Unexpected non-$outcome verification" >> $LKMM_DESTDIR/$litmus.out 2>&1
66 elif grep '^Observation' $LKMM_DESTDIR/$litmus.out | grep -q $outcome || test "$outcome" = Maybe
[all …]
Dparseargs.sh28 initparam LKMM_DESTDIR "."
77 LKMM_DESTDIR="$2"
78 mkdir $LKMM_DESTDIR > /dev/null 2>&1
79 if ! test -e "$LKMM_DESTDIR"
81 echo "Cannot create directory --destdir '$LKMM_DESTDIR'"
84 if test -d "$LKMM_DESTDIR" -a -w "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR"
88 echo "Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
Dchecklitmushist.sh39 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
45 destdir="$LKMM_DESTDIR"
46 LKMM_DESTDIR=$T/results; export LKMM_DESTDIR
48 LKMM_DESTDIR="$destdir"; export LKMM_DESTDIR
53 ddir=`awk -v c="$cdir" -v d="$LKMM_DESTDIR" \
58 sed < $T/list-C-short -e 's,^,'"$LKMM_DESTDIR/"',' |
Dnewlitmushist.sh33 if test "$LKMM_DESTDIR" != "."
36 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
40 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
53 sed < $T/list-C-short -e 's,^.*$,if test & -nt '"$LKMM_DESTDIR"'/&.out; then echo &; fi,' > $T/list…
Dchecklitmus.sh31 echo Herd options: $herdoptions > $LKMM_DESTDIR/$litmus.out
32 /usr/bin/time $LKMM_TIMEOUT_CMD herd7 $herdoptions $litmus >> $LKMM_DESTDIR/$litmus.out 2>&1
Dcheckghlitmus.sh29 if test "$LKMM_DESTDIR" != "."
32 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
36 ( cd $LKMM_DESTDIR; find litmus -name '*.litmus.out' -print ) |
Dcheckalllitmus.sh35 if test "$LKMM_DESTDIR" != "."
38 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
Dinitlitmushist.sh55 if test "$LKMM_DESTDIR" != "."
58 ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
Drunlitmushist.sh33 echo dir="$LKMM_DESTDIR" > $T/$i.sh