Actions
Task #8982
open"for" loop unrolling
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