2002-02-01 05:24:47 +01:00
|
|
|
#!/bin/sh
|
|
|
|
#
|
|
|
|
# TestRunner.sh - This script is used to run arbitrary unit tests. Unit
|
|
|
|
# tests must contain the command used to run them in the input file, starting
|
|
|
|
# immediately after a "RUN:" string.
|
|
|
|
#
|
|
|
|
# This runner recognizes and replaces the following strings in the command:
|
|
|
|
#
|
2003-05-14 20:39:57 +02:00
|
|
|
# %s - Replaced with the input name of the program, or the program to
|
|
|
|
# execute, as appropriate.
|
|
|
|
#
|
|
|
|
|
|
|
|
FILENAME=$1
|
2003-05-14 21:54:07 +02:00
|
|
|
TESTNAME=$1
|
2003-05-14 20:39:57 +02:00
|
|
|
SUBST=$1
|
2003-05-14 20:44:22 +02:00
|
|
|
OUTPUT=Output/$FILENAME.out
|
2003-05-14 20:39:57 +02:00
|
|
|
|
2004-04-10 08:03:22 +02:00
|
|
|
# create the output directory if it does not already exist
|
|
|
|
mkdir Output > /dev/null 2>&1
|
|
|
|
|
2003-05-14 20:39:57 +02:00
|
|
|
if test $# != 1; then
|
|
|
|
# If more than one parameter is passed in, there must be three parameters:
|
|
|
|
# The filename to read from (already processed), the command used to execute,
|
|
|
|
# and the file to output to.
|
|
|
|
SUBST=$2
|
|
|
|
OUTPUT=$3
|
2003-05-14 21:54:07 +02:00
|
|
|
TESTNAME=$3
|
2003-05-14 20:39:57 +02:00
|
|
|
fi
|
2002-02-01 05:24:47 +01:00
|
|
|
|
2003-05-14 21:54:07 +02:00
|
|
|
ulimit -t 40
|
|
|
|
|
2003-05-14 20:44:22 +02:00
|
|
|
SCRIPT=$OUTPUT.script
|
2005-08-05 21:48:29 +02:00
|
|
|
grep 'RUN:' $FILENAME | sed "s|^.*RUN:\(.*\)$|\1|g;s|%s|$SUBST|g;s|%llvmgcc|llvm-gcc|g;s|%llvmgxx|llvm-g++|g;s|%prcontext|prcontext.tcl|g" > $SCRIPT
|
2002-02-01 05:24:47 +01:00
|
|
|
|
2002-02-12 00:32:43 +01:00
|
|
|
|
2003-05-14 20:39:57 +02:00
|
|
|
/bin/sh $SCRIPT > $OUTPUT 2>&1 || (
|
2003-05-14 21:54:07 +02:00
|
|
|
echo "******************** TEST '$TESTNAME' FAILED! ********************"
|
2002-02-12 00:32:43 +01:00
|
|
|
echo "Command: "
|
2003-05-14 20:39:57 +02:00
|
|
|
cat $SCRIPT
|
2002-02-01 05:24:47 +01:00
|
|
|
echo "Output:"
|
|
|
|
cat $OUTPUT
|
|
|
|
rm $OUTPUT
|
2003-05-14 21:54:07 +02:00
|
|
|
echo "******************** TEST '$TESTNAME' FAILED! ********************"
|
2002-02-01 05:24:47 +01:00
|
|
|
)
|
|
|
|
|