Project

General

Profile

Actions

Task #8982

open

"for" loop unrolling

Added by Sergey Smolov over 5 years ago. Updated over 5 years ago.

Status:
New
Priority:
Normal
Target version:
Start date:
06/21/2018
Due date:
% Done:

0%

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

Description

The problem is related to undefined number of iterations of "for" loops.
In Retrascope it comes to the necessity to calculate it with the help of the external SMT solver.

Actions #1

Updated by Sergey Smolov over 5 years ago

  • Related to Bug #8970: NullPointerException in VisBpbCfgGraphMlTestCase added
Actions #2

Updated by Sergey Smolov over 5 years ago

  • Priority changed from Normal to High
Actions #3

Updated by Sergey Smolov over 5 years ago

  • Priority changed from High to Normal
Actions #4

Updated by Sergey Smolov over 5 years ago

  • Related to deleted (Bug #8970: NullPointerException in VisBpbCfgGraphMlTestCase)
Actions

Also available in: Atom PDF