Skip to content

fix: report the formal coverage columns the engine actually measured - #257

Open
martin-velay wants to merge 1 commit into
lowRISC:masterfrom
martin-velay:formal_cov_columns
Open

fix: report the formal coverage columns the engine actually measured#257
martin-velay wants to merge 1 commit into
lowRISC:masterfrom
martin-velay:formal_cov_columns

fix: report the formal coverage columns the engine actually measured

3a5f836
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

3 errors
lint
succeeded Sep 2, 2026 in 1m 19s