• Tomáš Pecka's avatar
    algo: Add integration aql test for FA iteration algorithms · 6ff8fe45
    Tomáš Pecka authored
    This test generates a random automaton, runs both iteration algorithms on
    it and then tests that both these automata accept equal language.
    This is first of the aql integration tests (which support was added in
    commit d79fe028). This should serve as
    an example how to write aql integration tests.
    Also, this is something that should not be in the unit tests (and it
    was removed in the previous commits).
Last commit
Last update
AutomatonIteration.aql Loading commit data...
eof.aql Loading commit data...