Revision 28d2185f
bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)
Files
- added
- modified
- copied
- renamed
- deleted
ID | 28d2185fb5a1949511c7256824becddd6013fc45 |
Parent | a406ac67 |
Child | 04a63d25 |
Added by Xavier Thirioux almost 5 years ago
bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)