Project

General

Profile

« Previous | Next » 

Revision 28d2185f

Added by Xavier Thirioux about 6 years ago

bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)

  • added
  • modified
  • copied
  • renamed
  • deleted