tests/alumacc: Minor optimizations

This commit is contained in:
Krystine Sherwin 2026-07-27 10:49:58 +12:00
parent ea20a8b477
commit 8962b6b6db
No known key found for this signature in database
1 changed files with 1 additions and 3 deletions

View File

@ -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