Renaming Enumerations
Closed this issue · 0 comments
lgwagner commented
Clever naming of enumerations can cause a conflict with the enumerations in Lustre, thus causing errors.
The following specs exercise the error and can also be found in the testing directory in source other bugs/enums.
