From e0d5bb3f02f974298e1fda6872a378eaf61caf04 Mon Sep 17 00:00:00 2001 From: Yogish Sekhar Date: Thu, 9 Jul 2026 14:16:40 +0100 Subject: [PATCH] Addressing feedback on PR7908 --- test_regress/t/t_cover_fsm_datapath_cmp.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/test_regress/t/t_cover_fsm_datapath_cmp.py b/test_regress/t/t_cover_fsm_datapath_cmp.py index 095e445e8..f929ac752 100755 --- a/test_regress/t/t_cover_fsm_datapath_cmp.py +++ b/test_regress/t/t_cover_fsm_datapath_cmp.py @@ -11,7 +11,6 @@ import vltest_bootstrap test.scenarios('vlt') -# Fail if speculative FSM extraction emits COVERIGN for unrelated datapath comparisons. -test.lint(verilator_flags2=['--coverage-fsm', '-Werror-COVERIGN']) +test.lint(verilator_flags2=['--coverage-fsm']) test.passes()