Bug #78: Why generate MCDC conditions for constant flows? - LustreC

Edit Actions

Copy link

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

Assignee:

Pierre-Loïc Garoche

Category:

Bug

Start date:

07/09/2019

Due date:

% Done:

Estimated time:

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

QuoteActions

Copy link

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

Copy link