test_inputs/codegen/unroll2.in

   1 # Check that the different disjuncts in the unroll option
   2 # are handled separately.
   3 { A[i] -> [i] : 0 <= i < 100000 }
   4 { : }
   5 { [i] -> unroll[0] : i < 4 or i > 99996 }