reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced
    1
    2
    3
    4
    5
# Check that the different disjuncts in the unroll option
# are handled separately.
{ A[i] -> [i] : 0 <= i < 100000 }
{ : }
{ [i] -> unroll[0] : i < 4 or i > 99996 }