From 11/15/2017 to 12/14/2017
- 02:12 AM Bug #59 (Closed): Lustret failed
- La commande:
>lustret -I /path_to_lustrec/include/lustrec -nb-mutants 500 -node Add_PP -d build Add_PP.lus
- 01:34 AM Bug #58 (Closed): int to long long int
- In C code generated from lustre, int is kept as int in C. Big constants in Lustre raises some range exception.
Also available in: Atom