Project

General

Profile

Edit Actions

Bug #87

closed

kind2 output: merge

Added by Anonymous over 2 years ago. Updated over 2 years ago.

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

Edit Actions

Also available in: Atom PDF