1 files changed, 0 insertions, 223 deletions
diff --git a/gfsm/gfsm/tests/03_algebra.at b/gfsm/gfsm/tests/03_algebra.at
deleted file mode 100644
index 0692f10..0000000
--- a/gfsm/gfsm/tests/03_algebra.at
+++ /dev/null
@@ -1,223 +0,0 @@
-## -*- Mode: Autotest -*-
-##
-## File: algebra.at
-## Package: gfsm
-## Description: autotest test-suite script: basic tests
-##
-
-AT_BANNER([algebraic operations])
-
-##--------------------------------------------------------------
-## Test: unary: closure.plus
-AT_SETUP([closure.plus])
-AT_KEYWORDS([algebra closure])
-opname="closure-plus"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmclosure --plus ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: closure.star
-AT_SETUP([closure.star])
-AT_KEYWORDS([algebra closure])
-opname="closure-star"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmclosure ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: complement
-AT_SETUP([complement])
-AT_KEYWORDS([algebra complement])
-opname="complement"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmcomplement ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-##
-##-- complement(b): given alphabet
-opname="complement-b"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmcomplement -i $tdata/test.lab ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: binary: compose
-AT_SETUP([compose])
-AT_KEYWORDS([algebra compose])
-opname="compose"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmcompose ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: binary: concat
-AT_SETUP([concat])
-AT_KEYWORDS([algebra concat])
-opname="concat"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmconcat ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: connect
-AT_SETUP([connect])
-AT_KEYWORDS([algebra connect])
-opname="connect"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmconnect ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: determinize
-AT_SETUP([determinize])
-AT_KEYWORDS([algebra determinize])
-opname="determinize"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmdeterminize ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: binary: difference
-##  + found bug: clone() wasn't setting root_id (assumed to have been done in copy_shallow())
-AT_SETUP([difference])
-AT_KEYWORDS([algebra difference])
-opname="difference"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmdifference ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: binary: intersect
-AT_SETUP([intersect])
-AT_KEYWORDS([algebra intersect])
-opname="intersect"
-opfile="$opname"
-
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmintersect ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-
-opfile="intersect2" ##-- intersection as called by gfsm_automaton_difference()
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmintersect ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: invert
-AT_SETUP([invert])
-AT_KEYWORDS([algebra invert])
-opname="invert"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsminvert ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: optional
-AT_SETUP([optional])
-AT_KEYWORDS([algebra optional])
-opname="optional"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmoptional ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: project.lo
-AT_SETUP([project.lo])
-AT_KEYWORDS([algebra project])
-opname="project-lo"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmproject -1 ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: project.hi
-AT_SETUP([project.hi])
-AT_KEYWORDS([algebra project])
-opname="project-hi"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmproject -2 ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: renumber
-AT_SETUP([renumber])
-AT_KEYWORDS([algebra renumber])
-opname="renumber"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmrenumber ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: unary: rmepsilon
-AT_SETUP([rmepsilon])
-AT_KEYWORDS([algebra rmepsilon])
-opname="rmepsilon"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in.tfst -F ${opfile}-in.gfst]])
-AT_CHECK([[$progdir/gfsmrmepsilon ${opfile}-in.gfst -F ${opfile}-got.gfst]]) ## <---
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP
-
-##--------------------------------------------------------------
-## Test: binary: union
-AT_SETUP([union])
-AT_KEYWORDS([algebra union])
-opname="union"
-opfile="$opname"
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-1.tfst -F ${opfile}-in-1.gfst]])
-AT_CHECK([[$progdir/gfsmcompile $tdata/${opfile}-in-2.tfst -F ${opfile}-in-2.gfst]])
-AT_CHECK([[$progdir/gfsmunion ${opfile}-in-1.gfst ${opfile}-in-2.gfst -F ${opfile}-got.gfst]]) ## <----
-rm -f expout; ln $tdata/${opfile}-want.tfst expout
-AT_CHECK([[$progdir/gfsmprint ${opfile}-got.gfst]],0,expout)
-AT_CLEANUP