Project

General

Profile

Actions

Task #5010

closed

Conditions in IfStatementBranch

Added by Mikhail Chupilko over 10 years ago. Updated about 10 years ago.

Status:
Closed
Priority:
Normal
Target version:
Start date:
06/25/2014
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:
r527

Description

To make Cfg one needs some condition to be set for each branch of "if-else" construction. Why doesn't VeriTrans return the condition in "IfStatementBranch" in "onIfStatementBranchBegin"? It should be negation of the correspondent condition in "onIfStatementBegin".

Actions

Also available in: Atom PDF