Project

General

Profile

Edit Actions

Bug #78

open

Why generate MCDC conditions for constant flows?

Added by Hamza Bourbouh over 2 years ago. Updated 6 months ago.

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

0%

Estimated time:

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));

Updated by Anonymous over 2 years ago

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.

Actions #2

Updated by Pierre-Loïc Garoche over 2 years ago

  • Status changed from New to In Progress
Edit Actions

Also available in: Atom PDF