push
github
fix RVGate doc (#11857) (#12069) * 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%)
5 existing lines in 1 file now uncovered.74993 of 86342 relevant lines covered (86.86%)
100531.73 hits per line