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

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

martin-velay wants to merge 1 commit into

lowRISC:masterlowRISC/dvsim:masterfrom

martin-velay:formal_cov_columnsmartin-velay/dvsim:formal_cov_columnsCopy head branch name to clipboard