Lustre versus C valid identifiers

The C code generator produces invalid C code if an invalid C ident is used as a (valid) Lustre ident.

Such programs should at least be rejected with a proper msg, at least if the -2c option is used.

An alternative would be to rename the ident.

lus2lic bad_ident.lus -n bad_ident -2c-exec

Edited Apr 25, 2018 by erwan

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information