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
On Fri, Oct 13, 2017 at 11:42 AM, Florian Barta <florian.barta@gmail.com> wrote:
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?
Hi Florian, Thanks for the report. I happened to notice this bug just a couple of days before your email. That will be fixed in 2.4.2, but before this is released you can just fix your source as done in this commit: https://gitlab.lrde.epita.fr/spot/spot/commit/b4963a7a6ce1d83207d84f603f8296... Best regards -- Alexandre Duret-Lutz
participants (2)
-
Alexandre Duret-Lutz -
Florian Barta