13 Oct
2017
13 Oct
'17
11:42 a.m.
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