Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tests
isomorph.test
Find file
Blame
History
Permalink
autfilt: -uc should count the number of non-isomorphic automata
· c0bbabc4
Alexandre Duret-Lutz
authored
Apr 28, 2015
* src/bin/autfilt.cc: Fix it. * src/tests/isomorph.test: Test it.
c0bbabc4