push
github
fix RVGate doc (#11857) (#12070) * fix rvgate doc * lint * fix factor of 2 and add explicit norm definition (cherry picked from commit 5649831ee) Co-authored-by: Kevin J. Sung <kevjsung@umich.edu>
1 of 1 new or added line in 1 file covered. (100.0%)
18 existing lines in 2 files now uncovered.58895 of 65951 relevant lines covered (89.3%)
178727.2 hits per line