From 06/13/2019 to 07/12/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...
- 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));
Also available in: Atom