-
THIRIOUX Xavier authored
bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)
THIRIOUX Xavier authoredbug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)
Code owners
Assign users and groups as approvers for specific file changes. Learn more.