Review static analysis warnings/errors
So far only in my dev branch. See pipeline here: https://gitlab.fit.cvut.cz/algorithms-library-toolkit/automata-library/pipelines/37634
Edited by Tomáš Pecka
So far only in my dev branch. See pipeline here: https://gitlab.fit.cvut.cz/algorithms-library-toolkit/automata-library/pipelines/37634