Project

General

Profile

Bug #88

kind2 output: When for node arguments

Added by Anonymous 3 months ago.

Status:
New
Priority:
Normal
Category:
Bug
Start date:
07/17/2019
Due date:
% Done:

0%


Description

Lustrec syntax:

f(x1 when c, x2 when c, ...)

Kind2 syntax:

(activate f every c)(x1, x2, ...)

Also available in: Atom PDF