diff options
Diffstat (limited to 'gfsm/gfsm/tests/data/basic2.labs.inf')
| -rw-r--r-- | gfsm/gfsm/tests/data/basic2.labs.inf | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gfsm/gfsm/tests/data/basic2.labs.inf b/gfsm/gfsm/tests/data/basic2.labs.inf deleted file mode 100644 index b61e0f1..0000000 --- a/gfsm/gfsm/tests/data/basic2.labs.inf +++ /dev/null @@ -1,14 +0,0 @@ -Filename : - -Semiring : tropical -Transducer? : y -Weighted? : y -Deterministic? : n -Sort Mode : none, none, none, none, none, none -Initial state : 0 -# of states : 4 -# of final states : 1 -# of arcs : 3 -# of i/o epsilon arcs : 0 -# of input epsilon arcs : 1 -# of output epsilon arcs: 1 -cyclic? : n |