2 files changed
+2
-2
lines changedSubmodule sv-bugpoint updated 29 files
- README.md+8-5
- examples/caliptra_verilation_err/out/debug/trace+7.6k
- examples/caliptra_verilation_err/out/minimized/sv-bugpoint-input.sv+32
- examples/caliptra_verilation_err/out/sv-bugpoint-combined.sv+32
- examples/caliptra_verilation_err/out/tmp/sv-bugpoint-input.sv+23
- examples/caliptra_verilation_err/sv-bugpoint-trace-7.0k
- examples/caliptra_verilation_err/sv-bugpoint-trace+1
- examples/caliptra_verilation_err/sv-bugpoint-trace-summarized+55-41
- scripts/sv-bugpoint-resume+16
- scripts/sv-bugpoint-strip-verilator-errmsg+1-1
- scripts/sv-bugpoint-trace-summary+14-6
- source/SvBugpoint.cpp+135-99
- source/SvBugpoint.hpp+38-42
- source/Utils.cpp+9-6
- tests/Makefile+2-2
- tests/golden/caliptra_exit0/sv-bugpoint-combined.sv
- tests/golden/caliptra_grep/sv-bugpoint-combined.sv
- tests/golden/short_exit0/sv-bugpoint-combined.sv
- tests/golden/short_exit1/sv-bugpoint-combined.sv
- tests/golden/short_grep/sv-bugpoint-combined.sv
- tests/golden/short_multifile_flag_f_verilator_errmsg/sv-bugpoint-combined.sv-8
- tests/golden/short_multifile_flag_y_verilator_errmsg/sv-bugpoint-combined.sv-8
- tests/golden/short_multifile_verilator_errmsg/sv-bugpoint-combined.sv-8
- tests/golden/short_verilator_errmsg/sv-bugpoint-combined.sv
- tests/input_files/short_in/a.sv
- tests/input_files/short_in/c.sv
- tests/input_files/short_in/d.sv
- tests/input_files/short_in/filelist.f+4-4
- tests/input_files/short_in/subdir/a.sv
- tests/run_test+2-2
0 commit comments