Project

General

Profile

Edit Actions

Bug #72

open

Simulinkd does not match Lustre using EMF backend when using nested Merge expression

Added by Hamza Bourbouh about 3 years ago. Updated about 2 months ago.

Status:
New
Priority:
Normal
Category:
Bug
Start date:
03/22/2019
Due date:
% Done:

0%

Estimated time:

Description

Lustre attached uses merge and one of merge branches is a call to another node with a merge inside.
Inside merge, the node call is reset using every operator.
I couldn't find where is the problem in the simulink model (attached too).


Files

Edit Actions

Also available in: Atom PDF