reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5

# Test that unrolling takes into account stride constraints.
# If it didn't, it would run essentially forever on this example.
[n] -> { A[i] -> [i] : exists a : i = 100000000 a and 0 <= a <= 2 }
{:}
{ [i] -> unroll[0] }