epispin ltl doesn't detect multiple labels (p4)
byte p;
byte q;
ltl p4 {p weakuntil q}
ltl p4 {p stronguntil q}
init{skip;}
Submitted by Kees Pronk on 4 November 2011 at 14:12
Issue Log
On 5 November 2011 at 09:53 Bob de Vos commented:
Fixed.
On 5 November 2011 at 09:53 Bob de Vos closed this issue.
On 5 November 2011 at 12:21 Bob de Vos tagged fixed1.0.4
On 5 November 2011 at 12:21 Bob de Vos tagged ltl
Log in to post comments