diff options
Diffstat (limited to 'result/automata/aba')
-rw-r--r-- | result/automata/aba | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/result/automata/aba b/result/automata/aba deleted file mode 100644 index 051b9bd..0000000 --- a/result/automata/aba +++ /dev/null @@ -1,6 +0,0 @@ -=> Passed -=> Passed -=> Passed -=> Failed -=> Failed -=> Failed |