summaryrefslogtreecommitdiff
path: root/src/test.sh
blob: cc0f6209270147db948d00b2283d3d607d8ea5c8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
#!/bin/sh

opts='--cpus 1 --hash 256m --egtbpath /zscratch/egtb'

if [ $# -ne 2 ]; then
  echo "Usage: ${0} <required-test-name> <time>"
  exit 1
fi
./typhoon ${opts} --logfile test.log --batch --command "st ${2}; script ${1}"
tail -19 ./test.log | head -9 > ./checkin
./suite_diff.pl ./test.log ./lastrun.log >> ./checkin
more ./checkin