Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
src
tgbaalgos
randomgraph.cc
Find file
Blame
History
Permalink
* src/tgbaalgos/randomgraph.cc (random_graph): Do declare all the
· 78be3514
Alexandre Duret-Lutz
authored
Nov 15, 2004
acceptance conditions in the produced automaton, in case they are not actually used.
78be3514