18 Oct
2017
18 Oct
'17
2:34 p.m.
On Fri, Oct 13, 2017 at 11:42 AM, Florian Barta <florian.barta(a)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/b4963a7a6ce1d83207d84f603f829…
Best regards
--
Alexandre Duret-Lutz