From 2942aa76f52ec71f1c98ae64be728fc56895c2b9 Mon Sep 17 00:00:00 2001 From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com> Date: Wed, 29 Jul 2026 13:23:46 +1200 Subject: [PATCH] tests/alumacc: Use assert-max --- tests/alumacc/generate_mk.py | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/tests/alumacc/generate_mk.py b/tests/alumacc/generate_mk.py index d11ef1f47..997870aa4 100644 --- a/tests/alumacc/generate_mk.py +++ b/tests/alumacc/generate_mk.py @@ -91,9 +91,8 @@ for c1_signed, c2, c2_signed, a_width in product( # cells correctly merged postopt_assert = f"select -assert-count 1 {out_cells}" else: - # postopt_assert = f"select -assert-count 2 {out_cells}" - # while currently correct, the above assertion would block potential improvements - postopt_assert = "" + # currently these all produce 2, but assert-max allows for future improvement + postopt_assert = f"select -assert-max 2 {out_cells}" with open(f"uut_{'s' if c1_signed else 'u'}{c1}_{'s' if c2_signed else 'u'}{c2}_{a_width}_{b_width}_{y_width}.ys", "w") as f: print(str.format_map(TEMPLATE, locals()), file=f)