Bug #88
openkind2 output: When for node arguments
Start date:
07/17/2019
Due date:
% Done:
0%
Estimated time:
Description
Lustrec syntax:
f(x1 when c, x2 when c, ...)Kind2 syntax:
(activate f every c)(x1, x2, ...)No data to display
Added by Anonymous over 2 years ago.
0%
Description
Lustrec syntax:
f(x1 when c, x2 when c, ...)Kind2 syntax:
(activate f every c)(x1, x2, ...)No data to display