missed accepting SCC
This issue was reported to me by Juraj Major.
The automaton aut.aut should accept the word !a;a;!a;a;!a;a;...
using the path highlighted below:
However Spot thinks than none of the SCCs are accepting:
% autfilt aut.aut --stats='%[a]c'
0