diff options
Diffstat (limited to 'gfsm/gfsm/src/programs/prunetest.tfst')
-rw-r--r-- | gfsm/gfsm/src/programs/prunetest.tfst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gfsm/gfsm/src/programs/prunetest.tfst b/gfsm/gfsm/src/programs/prunetest.tfst new file mode 100644 index 0000000..0dc8950 --- /dev/null +++ b/gfsm/gfsm/src/programs/prunetest.tfst @@ -0,0 +1,6 @@ +0 1 1 1 0 +1 2 2 2 0 +0 3 3 3 0 +1 0 +4 5 4 4 0 +5 0 |