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