Project

General

Profile

Actions

Bug #8991

closed

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

Added by Sergey Smolov almost 6 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
Engine (Parser)
Target version:
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 1 (0 open1 closed)

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

Actions
Actions #1

Updated by Sergey Smolov almost 6 years ago

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

Fixed in 860f4e4f

Actions #2

Updated by Sergey Smolov almost 6 years ago

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

Updated by Sergey Smolov over 5 years ago

  • Status changed from Resolved to Verified
Actions #4

Updated by Sergey Smolov over 4 years ago

  • Published in build set to 1.1.1-beta-190722
  • Status changed from Verified to Closed
Actions

Also available in: Atom PDF