aboutsummaryrefslogtreecommitdiff
path: root/gfsm/gfsm/src/programs/ctest2.tfst
diff options
context:
space:
mode:
Diffstat (limited to 'gfsm/gfsm/src/programs/ctest2.tfst')
-rw-r--r--gfsm/gfsm/src/programs/ctest2.tfst6
1 files changed, 0 insertions, 6 deletions
diff --git a/gfsm/gfsm/src/programs/ctest2.tfst b/gfsm/gfsm/src/programs/ctest2.tfst
deleted file mode 100644
index b27f50a..0000000
--- a/gfsm/gfsm/src/programs/ctest2.tfst
+++ /dev/null
@@ -1,6 +0,0 @@
-0 1 0 1
-0 2 0 2
-1 3 1 3
-1 4 1 4
-2 4 2 4
-2 3 2 3