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