1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
|
#!/bin/bash
testName="$1"
shift
if [ ! -e "$testName.frobInstance" ]; then exit 0; fi
inputFile="$testName.test $testName.frobInstance"
outputFile="$testName.frobNumber"
if [ "$1" = "_full" ]; then
shift;
# Test the legacy frobgrob action.
../testScripts/testhelper frobgrob "$inputFile" $outputFile $*
if [ $? != 0 ]; then exit 1; fi
# Try it without the bound optimization.
../testScripts/testhelper optimize "$inputFile" $outputFile $* -maxStandard -displayLevel 0 -chopFirstAndSubtract -bound off
if [ $? != 0 ]; then exit 1; fi
fi
../testScripts/testhelper optimize "$inputFile" $outputFile $* -maxStandard -displayLevel 0 -chopFirstAndSubtract
if [ $? != 0 ]; then exit 1; fi
|
