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
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information