• 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).
    6ff8fe45
Name
Last commit
Last update
CMake Loading commit data...
agui2 Loading commit data...
alib2abstraction Loading commit data...
alib2algo Loading commit data...
alib2algo_experimental Loading commit data...
alib2aux Loading commit data...
alib2cli Loading commit data...
alib2common Loading commit data...
alib2data Loading commit data...
alib2data_experimental Loading commit data...
alib2dummy Loading commit data...
alib2elgo Loading commit data...
alib2graph_algo Loading commit data...
alib2graph_data Loading commit data...
alib2gui Loading commit data...
alib2measure Loading commit data...
alib2raw Loading commit data...
alib2raw_cli_integration Loading commit data...
alib2std Loading commit data...
alib2str Loading commit data...
alib2str_cli_integration Loading commit data...
alib2xml Loading commit data...
aql2 Loading commit data...
docs Loading commit data...
examples2 Loading commit data...
extra Loading commit data...
lib/catch2 Loading commit data...
tests Loading commit data...
.clang-tidy Loading commit data...
.clang-tidy-ignore Loading commit data...
.editorconfig Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
.ycm_extra_conf.py Loading commit data...
CMakeLists.txt Loading commit data...
DEVELOPER_NOTES Loading commit data...
LICENSE Loading commit data...
README.md Loading commit data...
build.sh Loading commit data...