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
|
#!/usr/bin/env sh
frobby=../../bin/frobby
testhelper=../testScripts/testhelper
test="$1"
shift
if [ "$1" = "_full" ];
then
shift;
# Check -canon agrees with transform on output
$testhelper transform $test.primdecom $test.primdecom -canon
if [ $? != 0 ]; then exit 1; fi
# Check that intersection is inverse of primdecom.
$frobby transform < `ls $test.*test` > /tmp/$test.test \
-canon -minimize 2>/dev/null
$testhelper intersect $test.primdecom /tmp/$test.test -canon
if [ $? != 0 ]; then exit 1; fi
rm /tmp/$test.test
fi
$testhelper primdecom $test.*test $test.primdecom $* -canon
if [ $? != 0 ]; then exit 1; fi
|
