test_inputs/codegen/unroll.in

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