mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-14 09:56:16 +00:00
Code Activity

tests: Add bugpoint to MK_TEST_DIRS

Browse source 
Also change `-err_grep` to `-err-grep` for consistency with `-expect-return`.
This commit is contained in:
Krystine Sherwin 2025-05-16 14:12:38 +12:00
parent 65a5227c14
commit ded51e7622
No known key found for this signature in database
4 changed files with 8 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -866,6 +866,7 @@ MK_TEST_DIRS += tests/arch/nexus
MK_TEST_DIRS += tests/arch/quicklogic/pp3
MK_TEST_DIRS += tests/arch/quicklogic/qlf_k6n10f
MK_TEST_DIRS += tests/arch/xilinx
MK_TEST_DIRS += tests/bugpoint
MK_TEST_DIRS += tests/opt
MK_TEST_DIRS += tests/sat
MK_TEST_DIRS += tests/sim

4
passes/cmds/bugpoint.cc
View file

@ -77,7 +77,7 @@ struct BugpointPass : public Pass {
log(" -runner \"<prefix>\"\n");
log(" child process wrapping command, e.g., \"timeout 30\", or valgrind.\n");
log("\n");
log(" -err_grep \"<string>\"\n");
log(" -err-grep \"<string>\"\n");
log(" only consider crashes that print this string on stderr. useful for\n");
log(" errors outside of yosys.\n");
log("\n");
@ -474,7 +474,7 @@ struct BugpointPass : public Pass {
grep = args[++argidx];
continue;
}
if (args[argidx] == "-err_grep" && argidx + 1 < args.size()) {
if (args[argidx] == "-err-grep" && argidx + 1 < args.size()) {
has_check = true;
check_err = true;
err_grep = args[++argidx];

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" -err_grep "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

4
tests/bugpoint/run-test.sh Executable file
View file

@ -0,0 +1,4 @@
#!/usr/bin/env bash
set -eu
source ../gen-tests-makefile.sh
generate_mk --yosys-scripts