Project

General

Profile

Edit Actions

Bug #82

closed

kind2 output for every

Added by Hamza Bourbouh over 2 years ago. Updated about 1 month ago.

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

100%

Estimated time:
(Total: 0.00 h)

Description

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


Subtasks 1 (0 open1 closed)

Bug #83: Kind2 output "bool clock" => "bool"ClosedPierre-Loïc Garoche07/16/2019

Actions
Edit Actions

Also available in: Atom PDF