Hi,

when using genaut --ks-nca e.g. genaut --ks-nca=1..10 I get the following error:
genaut: print_hoa(): automaton is complete but prop_complete()==false
Is this a bug?
What can I do to get the desired result?
I am using spot version 2.4.1 on Ubuntu 16.04.

Best regards,
Florian Barta