Project

General

Profile

Bug #87

kind2 output: merge

Added by Anonymous 5 months ago. Updated 5 months ago.

Status:
Closed
Priority:
Normal
Category:
Bug
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 5 months ago

  • Status changed from New to Closed
Comment

fixed in lustrec-seal branch

Also available in: Atom PDF