Project

General

Profile

« Previous | Next » 

Revision 28d2185f

ID28d2185fb5a1949511c7256824becddd6013fc45
Parent a406ac67
Child 04a63d25

Added by Xavier Thirioux over 3 years ago

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

View differences