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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
## -*- 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
|
