18 Jun
2019
18 Jun
'19
2:41 p.m.
On Tue, Jun 18, 2019 at 12:32 PM Guillermo Alberto Perez
<GuillermoAlberto.Perez(a)uantwerpen.be> wrote:
The one for which model checking fails for me is
prioritized_arbiter_enc_2.tlsf.
Ah! thank you. I can reproduce the issue now, and it indeed seems to
be a bug in the LAR code (currently only used by ltlsynt).
https://gitlab.lrde.epita.fr/spot/spot/issues/390
--
Alexandre Duret-Lutz