mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 13:29:12 +00:00
Code Activity

bugpoint.cc: Rename to -err_grep

Browse source
This commit is contained in:
Krystine Sherwin 2025-07-29 11:39:51 +12:00
parent 65147670a6
commit b5a13ae95b
No known key found for this signature in database
2 changed files with 12 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/bugpoint/err.ys
View file

@ -38,6 +38,6 @@ select -assert-mod-count 1 zzy
# raise_error -stderr prints to stderr and exits with 1
design -load read
rename top abc
bugpoint -yosys ../../yosys -command "raise_error -stderr" -greperr "help me" -expect-return 1
bugpoint -yosys ../../yosys -command "raise_error -stderr" -err_grep "help me" -expect-return 1
select -assert-mod-count 1 =*
select -assert-mod-count 1 other