Activity
From 11/19/2017 to 12/18/2017
12/08/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
Raised...
12/07/2017
- 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.
Chang...
Also available in: Atom