Bug #82
kind2 output for every
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
History
#1 Updated by Pierre-Loïc Garoche about 1 year ago
- Status changed from New to Closed
commit 1d3f2f66f