Project

General

Profile

Bug #82

kind2 output for every

Added by Hamza Bourbouh about 1 month ago. Updated about 1 month ago.

Status:
Closed
Priority:
Normal
Category:
Feature
Start date:
07/16/2019
Due date:
% Done:

100%


Description

Kind2 syntax for resetting node using EVERY operator is:
(restart <node_name> every <clock>)(<input_1>, <input_2>, ...)


Subtasks

Bug #83: Kind2 output "bool clock" => "bool"ClosedPierre-Loïc Garoche

History

#1 Updated by Pierre-Loïc Garoche about 1 month ago

  • Status changed from New to Closed
Comment

commit 1d3f2f66f

Also available in: Atom PDF