From 03a07b646008799c7c4aa014f91c5f4b8c0e918f Mon Sep 17 00:00:00 2001 From: Eduard Urbach Date: Mon, 8 Jul 2024 13:48:46 +0200 Subject: [PATCH] Simplified branch tests --- tests/programs/branch-combined.q | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/tests/programs/branch-combined.q b/tests/programs/branch-combined.q index 3c1f86e..bb06970 100644 --- a/tests/programs/branch-combined.q +++ b/tests/programs/branch-combined.q @@ -33,11 +33,9 @@ main() { exit(1) } - if x != x || x != x || x != x || x == x || x != x { - if x + 1 == inc(x) && x - 1 == dec(x) && x == dec(inc(x)) { - if (x == x && x != x || x == x && x == x) && (x == x && x == x || x == x && x != x) { - exit(0) - } + if (x == x && x != x || x == x && x == x) && (x == x && x == x || x == x && x != x) { + if (x != x || x == x) && (x != x || x != x) || (x == x || x != x) && (x != x || x == x) { + exit(0) } }