Project

General

Profile

Bug #8991

CfgSwitchSequenceBackend: do not collapse "if" statements with incompatible conditions

Added by Sergey Smolov 11 months ago. Updated 11 months ago.

Status:
Verified
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Engine (Parser)
Target version:
1.0
Start date:
06/25/2018
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:

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

Related to Retrascope - Bug #8972: Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCaseVerified06/19/2018

Actions

History

#1

Updated by Sergey Smolov 11 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Fixed in 860f4e4f

#2

Updated by Sergey Smolov 11 months ago

  • Related to Bug #8972: Case value RetrascopeException in VcegarPiBusCfgGraphMlTestCase added
#3

Updated by Sergey Smolov 11 months ago

  • Status changed from Resolved to Verified

Also available in: Atom PDF