From f78cd9d13ff50f25beebb056a8558413bfabf459 Mon Sep 17 00:00:00 2001 From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com> Date: Sat, 2 Aug 2025 14:54:32 +1200 Subject: [PATCH] raise_error: Extra test --- tests/bugpoint/raise_error.ys | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/tests/bugpoint/raise_error.ys b/tests/bugpoint/raise_error.ys index 66db2916a..8fb10eb96 100644 --- a/tests/bugpoint/raise_error.ys +++ b/tests/bugpoint/raise_error.ys @@ -26,6 +26,12 @@ bugpoint -suffix error -yosys ../../yosys -command raise_error -expect-return 7 select -assert-mod-count 1 =* select -assert-mod-count 1 top +# raise_error -always still uses 'raise_error' attribute if possible +design -load read +bugpoint -suffix error -yosys ../../yosys -command "raise_error -always" -expect-return 7 +select -assert-mod-count 1 =* +select -assert-mod-count 1 top + # raise_error with string prints message and exits with 1 design -load read rename top abc