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