block13_counts.tex
Stratified Universality
block13_counts.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \newcommand{\BlockThirteenBridgeChecks}{154,209}
2 \newcommand{\BlockThirteenInvariantChecks}{119,453}
3 \newcommand{\BlockThirteenRegressionChecks}{39,846}
4 \newcommand{\BlockThirteenNewChecks}{233,816}
5 \newcommand{\BlockThirteenChecks}{273,662}
6 \newcommand{\BlockThirteenCumulative}{2,272,676}
7 \newcommand{\BlockThirteenCumulativeExecuted}{2,312,522}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: bc7a8d7ab0dc4bdd088a2e493ff0136100d88f136385e391a335adbe053762e9