Bug #87
closedkind2 output: merge
Start date:
07/17/2019
Due date:
% Done:
0%
Estimated time:
Description
Lustrec syntax:
merge c
(true -> a when true(c))
(false -> b when false(c));
Kind2 syntax:
merge c
(true -> a when c)
(false -> b when not c);
Updated by Hamza Bourbouh over 2 years ago
- Status changed from New to Closed
fixed in lustrec-seal branch