Project

General

Profile

Bug #82

kind2 output for every

Added by Hamza Bourbouh almost 2 years ago. Updated 9 days 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 almost 2 years ago

  • Status changed from New to Closed
Comment

commit 1d3f2f66f

#2 Updated by Anonymous 9 days ago

Comment

While in the instance of an answer composition, the very paragraph should comprise both of the job to along with this author's identify. The previous paragraph of the paragraph must have a thesis announcement. This announcement is likely to create your opinion. https://gzipwtf.com/things-that-the-professional-assignment-writers-do-for-writing-an-assignment/

Also available in: Atom PDF