Bug #8991
CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditions
Start date:
06/25/2018
Due date:
% Done:
100%
Estimated time:
Detected in build:
master
Platform:
Published in build:
1.1.1-beta-190722
Description
The backend should not be applied to nested\sequential "if" statements, which conditions are incompatible. Two conditions c1 and c2 are compatible if expression (NOT(c1) AND (c2)) is satisifiable.
Related issues
History
Updated by Sergey Smolov over 2 years ago
- % Done changed from 0 to 100
- Status changed from New to Resolved
Fixed in 860f4e4f
Updated by Sergey Smolov over 2 years ago
- Related to Bug #8972: Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCase added
Updated by Sergey Smolov over 1 year ago
- Published in build set to 1.1.1-beta-190722
- Status changed from Verified to Closed