-
Alexandre Duret-Lutz authored
* spot/gen/automata.hh: State the precondition. * spot/gen/automata.cc: Catch n==0. * tests/core/genaut.test: Test it.
d25cdd4c
* spot/gen/automata.hh: State the precondition. * spot/gen/automata.cc: Catch n==0. * tests/core/genaut.test: Test it.