4 files changed
+4
-4
lines changedSubmodule sv-bugpoint updated 13 files
- README.md+2-4
- source/MemberRemover.cpp+6-1
- source/SvBugpoint.cpp+31-14
- source/SvBugpoint.hpp+1
- tests/golden/short_exit0/sv-bugpoint-minimized.sv+2
- tests/golden/short_exit1/sv-bugpoint-minimized.sv+7-2
- tests/golden/short_grep/sv-bugpoint-minimized.sv+1
- tests/golden/short_multifile_flag_f_verilator_errmsg/sv-bugpoint-minimized.sv+5-1
- tests/golden/short_multifile_flag_y_verilator_errmsg/sv-bugpoint-minimized.sv+5-1
- tests/golden/short_multifile_verilator_errmsg/sv-bugpoint-minimized.sv+5-1
- tests/golden/short_verilator_errmsg/sv-bugpoint-minimized.sv+4-1
- tests/input_files/short_in.sv+7-2
- tests/input_files/short_in/4.sv+2-2
0 commit comments