From 8962b6b6db1cd010af8038f49d27e19f21bcc824 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Mon, 27 Jul 2026 10:49:58 +1200
Subject: [PATCH] tests/alumacc: Minor optimizations

---
 tests/alumacc/cmp_merge.ys | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/tests/alumacc/cmp_merge.ys b/tests/alumacc/cmp_merge.ys
index bdb96321b..ae46ba883 100644
--- a/tests/alumacc/cmp_merge.ys
+++ b/tests/alumacc/cmp_merge.ys
@@ -26,10 +26,8 @@ assign ne = ra != rb;
 endmodule
 EOT
 
-proc
-
 equiv_opt -assert alumacc
-alumacc
+design -load postopt
 select -assert-count 1 t:$alu
 
 design -reset