Project

General

Profile

Edit

Bug #78

Why generate MCDC conditions for constant flows?

Added by Hamza Bourbouh about 1 year ago. Updated 12 months ago.

Status:
In Progress
Priority:
Normal
Assignee:
Pierre-Loïc Garoche
Category:
Bug
Start date:
07/09/2019
Due date:
% Done:

0%

Quote

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 12 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 12 months ago

  • Status changed from New to In Progress
Edit

Also available in: Atom PDF