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%)
2 existing lines in 1 file now uncovered.58909 of 65951 relevant lines covered (89.32%)
177543.64 hits per line