Project

General

Profile

Task #8982

"for" loop unrolling

Added by Sergey Smolov almost 2 years ago. Updated over 1 year 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.

History

#1

Updated by Sergey Smolov almost 2 years ago

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

Updated by Sergey Smolov almost 2 years ago

  • Priority changed from Normal to High
#3

Updated by Sergey Smolov almost 2 years ago

  • Priority changed from High to Normal
#4

Updated by Sergey Smolov over 1 year ago

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

Also available in: Atom PDF