1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/usr/bin/env sh
frobby=../../bin/frobby
testhelper=../testScripts/testhelper
test="$1"
shift
if [ "$1" = "_full" ];
then
shift;
# Check that -canon agrees with transform without -radical on.
$testhelper transform $test.radical $test.radical -canon
if [ $? != 0 ]; then exit 1; fi
# Check that radical is idempotent.
$testhelper transform $test.radical $test.radical $* -radical -canon
if [ $? != 0 ]; then exit 1; fi
# Check that radical is minimized.
$testhelper transform $test.radical $test.radical -minimize -canon
if [ $? != 0 ]; then exit 1; fi
# Check that radical of minimized is the same.
$testhelper transform $test.minimize $test.radical \
$* -radical -canon -minimize
if [ $? != 0 ]; then exit 1; fi
fi
$testhelper transform $test.*test $test.radical $* -canon -radical -minimize
|
