Project

General

Profile

Actions
Copy link

Task #8982

open

"for" loop unrolling

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

Status:
New
Priority:
Normal
Assignee:
Alexander Kamkin
Target version:
0.1
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
Copy link
 #1

Updated by Sergey Smolov over 6 years ago

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

Updated by Sergey Smolov over 6 years ago

  • Priority changed from Normal to High
Actions
Copy link
 #3

Updated by Sergey Smolov over 6 years ago

  • Priority changed from High to Normal
Actions
Copy link
 #4

Updated by Sergey Smolov over 6 years ago

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

Also available in: Atom PDF