genaut --ks-nca error - Spot - LRE

List overview All Threads
Download

genaut --ks-nca error

Bug in ltlcross manual

is_tt and is_ff in Python bindings

Florian Barta

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

Attachments:

attachment.html (text/html — 340 bytes)

Reply

Show replies by date

Alexandre Duret-Lutz

18 Oct 18 Oct

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

Reply

2667

days inactive

2672

days old

spot@lrde.epita.fr

Manage subscription

1 comments

2 participants

tags (0)

participants (2)

Alexandre Duret-Lutz
Florian Barta