3 files changed
+3
-2
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
| 4 | + | |
4 | 5 | | |
5 | 6 | | |
6 | 7 | | |
| |||
Submodule sv-bugpoint updated 19 files
- .ci.yml+1-1
- .clang-format+1
- .github/workflows/test.yml+1-1
- .gitignore+2-1
- README.md+1-1
- check.mk+2-2
- source/OneTimeRewriter.hpp+4-2
- source/PairRemovers.cpp+2-1
- source/PairRemovers.hpp+2-1
- source/SvBugpoint.cpp+95-23
- source/Utils.cpp+7-4
- tests/Makefile+5-1
- tests/checkverilator_run.sh+2
- tests/golden/comment_dir/sv-bugpoint-combined.sv+10
- tests/golden/short_multifile_flag_f_verilator_errmsg/sv-bugpoint-combined.sv-2
- tests/golden/short_multifile_flag_y_verilator_errmsg/sv-bugpoint-combined.sv-2
- tests/golden/short_multifile_verilator_errmsg/sv-bugpoint-combined.sv-2
- tests/golden/short_verilator_errmsg/sv-bugpoint-combined.sv-1
- tests/input_files/comment_dir_in.sv+18
0 commit comments