mirror of
https://review.haiku-os.org/buildtools
synced 2025-02-22 13:47:44 +01:00
8 lines
312 B
Plaintext
8 lines
312 B
Plaintext
# Check that no redundant guards are introduced
|
|
{ s4[a, b] -> [a, 2, b] : exists (e0 = floor((-2 + a)/64):
|
|
64e0 = -2 + a and a <= 200 and b <= 62 + a and b >= 122);
|
|
s2[a, b] -> [a, 2, b] : exists (e0 = floor((-2 + a)/64):
|
|
64e0 = -2 + a and a >= 2 and b <= 120 and b >= -1 + a and a <= 100) }
|
|
{ : }
|
|
{ }
|