Project

General

Profile

Bug #78

Why generate MCDC conditions for constant flows?

Added by Hamza Bourbouh 5 months ago. Updated 5 months ago.

Status:
In Progress
Priority:
Normal
Category:
Bug
Start date:
07/09/2019
Due date:
% Done:

0%


Description

__test1_PP_1 = (true -> false);

_cov_12_16 = __test1_PP_1;
__cov_13_16 = (not (
_test1_PP_1));
_cov_14_16 = __test1_PP_1;
__cov_15_16 = (not (
_test1_PP_1));

History

#1 Updated by Anonymous 5 months ago

Comment

I am not sure it is a bug:
- either it is a pure constant like b = true
then a condition if b then e1 else e2 will produce the two conditions and we may discover that e2 is dead code
- or it is a non constant constant :) true -> false changes over time. Then it makes sense to evaluate both cases.

#2 Updated by Pierre-Loïc Garoche 5 months ago

  • Status changed from New to In Progress

Also available in: Atom PDF