Skip to content

Commit

Permalink
Fix: template
Browse files Browse the repository at this point in the history
  • Loading branch information
@samo538
samo538 committed Sep 4, 2024
1 parent 6f9cb59 commit c4ea269
Show file tree
Hide file tree
Showing 3 changed files with 75 additions and 75 deletions.
4 changes: 2 additions & 2 deletions tests-integration/src/templates/template-with-cli-args.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@
#include <chrono>
#include <string>

using namespace Mata::nfa;
using namespace mata::nfa;

const bool MINTERMIZE_AUTOMATA = true;

Expand All @@ -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;
}
Expand Down
144 changes: 72 additions & 72 deletions tests-integration/src/templates/template-with-list-of-automata.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
#include <string>
#include <vector>

using namespace Mata::nfa;
using namespace mata::nfa;

const bool MINTERMIZE_AUTOMATA = true;

Expand All @@ -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<std::string> 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<std::string> source_automata;
Expand All @@ -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);

Expand Down
2 changes: 1 addition & 1 deletion tests-integration/src/templates/template.cc
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
#include <chrono>
#include <string>

using namespace Mata::nfa;
using namespace mata::nfa;

int main() {
// Setting precision of the times to fixed points and 4 decimal places
Expand Down

0 comments on commit c4ea269

Please sign in to comment.