diff options
Diffstat (limited to 'gfsm/gfsm/tests/01_basic.at')
-rw-r--r-- | gfsm/gfsm/tests/01_basic.at | 54 |
1 files changed, 0 insertions, 54 deletions
diff --git a/gfsm/gfsm/tests/01_basic.at b/gfsm/gfsm/tests/01_basic.at deleted file mode 100644 index 9f9d587..0000000 --- a/gfsm/gfsm/tests/01_basic.at +++ /dev/null @@ -1,54 +0,0 @@ -## -*- Mode: Autotest -*- -## -## File: basic.at -## Package: gfsm -## Description: autotest test-suite script: basic tests -## - -AT_BANNER([basic automaton manipulation]) - -##-------------------------------------------------------------- -## Test: compile+print: null -AT_SETUP([compile+print.null]) -AT_KEYWORDS([basic compile print info]) - -##-- compile: null -AT_CHECK([[$progdir/gfsmcompile $tdata/null.tfst -F null.gfst]],0,[],[]) - -##-- print: null -AT_CHECK([[$progdir/gfsmprint null.gfst]],0,[],[ignore]) - -##-- info: null -rm -f expout; ln $tdata/null.inf expout -AT_CHECK([[$progdir/gfsminfo < null.gfst]],0,expout) - -AT_CLEANUP - -##-------------------------------------------------------------- -## Test: compile+print: simple -AT_SETUP([compile+print.simple]) -AT_KEYWORDS([basic compile print info]) - -AT_CHECK([[$progdir/gfsmcompile $tdata/basic1.tfst -F basic1.gfst]],0) - -rm -f expout; ln $tdata/basic1.tfst expout -AT_CHECK([[$progdir/gfsmprint basic1.gfst]],0,expout,[]) - -rm -f expout; ln $tdata/basic1.inf expout -AT_CHECK([[$progdir/gfsminfo < basic1.gfst]],0,expout,[]) - -AT_CLEANUP - -##-------------------------------------------------------------- -## Test: compile+print: with labels -AT_SETUP([compile+print.labels]) -AT_KEYWORDS([basic compile print info alphabet]) -AT_CHECK([[$progdir/gfsmcompile -i $tdata/test.lab -o $tdata/test.lab $tdata/basic2.labs.tfst -F basic2.gfst]],0) - -rm -f expout; ln $tdata/basic2.labs.tfst expout -AT_CHECK([[$progdir/gfsmprint -i $tdata/test.lab -o $tdata/test.lab basic2.gfst]],0,expout,[]) - -rm -f expout; ln $tdata/basic2.labs.inf expout -AT_CHECK([[$progdir/gfsminfo < basic2.gfst]],0,expout,[]) - -AT_CLEANUP |