Project

General

Profile

Activity

From 06/16/2019 to 07/15/2019

07/13/2019

12:45 AM Bug #81 (Closed): Example with Enumeration is not supported by Lustrev
lustrev failed for model "DaysEnum_PP.LUSTREC"
Raised at file "hashtbl.ml", line 194, characters 13-28
Called from ...
Hamza Bourbouh
12:29 AM Bug #80 (Closed): Import error: node Memory_2047_001 is already defined.
lustrev -seal -seal-export lustre -d bacteriaPopulation_PP -node bacteriaPopulation_PP bacteriaPopulation_PP.LUSTREC... Hamza Bourbouh

07/09/2019

12:15 AM Bug #79 (Closed): MCDC Conditions are repeated for variables with one atomic boolean condition
Compare_1 = (u_1 >= Constant_1);
__cov_0_24 = (u_1 >= Constant_1);
__cov_1_24 = (not ((u_1 >= Const...
Hamza Bourbouh
12:13 AM Bug #78 (In Progress): Why generate MCDC conditions for constant flows?
__test1_PP_1 = (true -> false);
__cov_12_16 = __test1_PP_1;
__cov_13_16 = (not (__test1_PP_1));
...
Hamza Bourbouh
 

Also available in: Atom