From 911a0b438bfa07b13ce6e681aeb060526bd2bbfe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jan=20Tr=C3=A1vn=C3=AD=C4=8Dek?= <jan.travnicek@fit.cvut.cz> Date: Thu, 28 Apr 2022 23:06:13 +0200 Subject: [PATCH] tests: add string parsing tests for MIS(E)?NFA closes #203 - somehow it works if I broke string parser of automata it must have been in a way tests didn't report it. --- examples2/automaton/MISENFA.txt | 19 +++++++++++++++++++ examples2/automaton/MISNFA.txt | 19 +++++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 examples2/automaton/MISENFA.txt create mode 100644 examples2/automaton/MISNFA.txt diff --git a/examples2/automaton/MISENFA.txt b/examples2/automaton/MISENFA.txt new file mode 100644 index 0000000000..7a4285be0a --- /dev/null +++ b/examples2/automaton/MISENFA.txt @@ -0,0 +1,19 @@ +MISENFA a b c d #E +0 1 - - - - +1 14 - - - 2 +2 15 - - - 2 +>3 10 9 0 12 16 +<4 - 11 - - - +><5 - 6 5 - 5|6 +<6 - - 5 - 0 +<7 - - - 12 - +8 10 17 0 12 - +9 4 - - - - +10 - 2 - - 13|18|1 +11 - 8 - - - +12 - 7 - - - +13 - 16 - - 12 +14 - - 5 12 - +15 - - - 13 6 +<16 - - - - 7|3 +<17 4 - - - - diff --git a/examples2/automaton/MISNFA.txt b/examples2/automaton/MISNFA.txt new file mode 100644 index 0000000000..6773ea876b --- /dev/null +++ b/examples2/automaton/MISNFA.txt @@ -0,0 +1,19 @@ +MISNFA a b c d +0 1 - - - +1 14 - - - +2 15 - - - +>3 10 9 0 12 +<4 - 11 - - +><5 - 6 5 - +<6 - - 5 - +<7 - - - 12 +8 10 17 0 12 +9 4 - - - +10 - 2 - - +11 - 8 - - +12 - 7 - - +13 - 16 - - +14 - - 5 12 +15 - - - 13 +<16 - - - - +<17 4 - - - -- GitLab