Blame isl-0.14/test_inputs/codegen/omega/guard1-0.c

Packit fb9d21
if (n + 3 * floord(-n + m - 2, 3) + 2 == m)
Packit fb9d21
  s0(n, m);