luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Addressing feedback on PR7908

This commit is contained in:
Yogish Sekhar 2026-07-09 14:16:40 +01:00
parent d1bb60f47a
commit e0d5bb3f02
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test_regress/t/t_cover_fsm_datapath_cmp.py
View File

@ -11,7 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt') test.scenarios('vlt')
# Fail if speculative FSM extraction emits COVERIGN for unrelated datapath comparisons. test.lint(verilator_flags2=['--coverage-fsm'])
test.lint(verilator_flags2=['--coverage-fsm', '-Werror-COVERIGN'])
test.passes() test.passes()