Bug #87
kind2 output: merge
Start date:
07/17/2019
Due date:
% Done:
0%
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);
History
#1 Updated by Hamza Bourbouh over 1 year ago
- Status changed from New to Closed