18 Jun
2019
18 Jun
'19
2:41 p.m.
On Tue, Jun 18, 2019 at 12:32 PM Guillermo Alberto Perez <GuillermoAlberto.Perez@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