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
100%
Description
Kind2 syntax for resetting node using EVERY operator is:
(restart <node_name> every <clock>)(<input_1>, <input_2>, ...)
Subtasks