From c4ea269c11bce79e7fdba1f9fdee8a93e19984b0 Mon Sep 17 00:00:00 2001 From: Samuel Luptak Date: Wed, 4 Sep 2024 18:12:38 +0200 Subject: [PATCH] Fix: template --- .../src/templates/template-with-cli-args.cc | 4 +- .../template-with-list-of-automata.cc | 144 +++++++++--------- tests-integration/src/templates/template.cc | 2 +- 3 files changed, 75 insertions(+), 75 deletions(-) diff --git a/tests-integration/src/templates/template-with-cli-args.cc b/tests-integration/src/templates/template-with-cli-args.cc index a3bf191aa..faf1deb6e 100644 --- a/tests-integration/src/templates/template-with-cli-args.cc +++ b/tests-integration/src/templates/template-with-cli-args.cc @@ -11,7 +11,7 @@ #include #include -using namespace Mata::nfa; +using namespace mata::nfa; const bool MINTERMIZE_AUTOMATA = true; @@ -25,7 +25,7 @@ int main(int argc, char *argv[]) std::string filename = argv[1]; Nfa aut; - Mata::OnTheFlyAlphabet alphabet{}; + mata::OnTheFlyAlphabet alphabet{}; if (load_automaton(filename, aut, alphabet, MINTERMIZE_AUTOMATA) != EXIT_SUCCESS) { return EXIT_FAILURE; } diff --git a/tests-integration/src/templates/template-with-list-of-automata.cc b/tests-integration/src/templates/template-with-list-of-automata.cc index f7a5a807d..fcb5e659e 100644 --- a/tests-integration/src/templates/template-with-list-of-automata.cc +++ b/tests-integration/src/templates/template-with-list-of-automata.cc @@ -14,7 +14,7 @@ #include #include -using namespace Mata::nfa; +using namespace mata::nfa; const bool MINTERMIZE_AUTOMATA = true; @@ -27,76 +27,76 @@ int main(int argc, char *argv[]) * NOTE: Comment out automata, that you do not want to process or add your own automata. */ std::vector automata = { - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easy/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut0.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut0.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut0.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut10.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut11.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut12.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut13.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut14.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut15.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut16.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut17.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut3.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut4.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut5.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut6.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut7.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut8.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut9.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut0.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut10.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut11.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut12.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut13.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut14.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut15.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut16.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut3.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut4.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut5.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut6.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut7.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut8.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut9.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut0.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut2.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut3.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut21.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut26.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut27.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut35.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut51.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut26.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut40.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut61.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut69.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut7.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut1.mata", - Mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easiest/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-easy/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-hard/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-armc-incl-medium-hard/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easiest/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-hand-made-easy/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut0.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easiest/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut0.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-easy/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut0.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut10.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut11.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut12.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut13.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut14.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut15.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut16.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut17.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut3.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut4.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut5.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut6.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut7.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut8.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-harder/aut9.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-hardest/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut0.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut10.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut11.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut12.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut13.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut14.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut15.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut16.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut3.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut4.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut5.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut6.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut7.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut8.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium/aut9.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut0.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut2.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-param-medium-hard/aut3.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut21.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut26.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut27.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut35.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easiest/aut51.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut26.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut40.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut61.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut69.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-regex-easy/aut7.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut1.mata", + mata::PerformanceTesting::AUTOMATA_DIR + "/b-smt-easiest/aut2.mata", }; std::vector source_automata; @@ -120,7 +120,7 @@ int main(int argc, char *argv[]) } for (const auto& aut_file : source_automata) { - Mata::OnTheFlyAlphabet alphabet{}; + mata::OnTheFlyAlphabet alphabet{}; Nfa nfa{}; load_automaton(aut_file, nfa, alphabet, MINTERMIZE_AUTOMATA); diff --git a/tests-integration/src/templates/template.cc b/tests-integration/src/templates/template.cc index e56346071..3c09d21e2 100644 --- a/tests-integration/src/templates/template.cc +++ b/tests-integration/src/templates/template.cc @@ -5,7 +5,7 @@ #include #include -using namespace Mata::nfa; +using namespace mata::nfa; int main() { // Setting precision of the times to fixed points and 4 decimal places