\label{fig:pintosdetail}
\end{figure*}
}
+
+\newcommand{\pintostestcounttable}{
+\begin{table}
+ \begin{tabular}{lccc}
+ Project & Functionality & Robustness & Regression \\
+ 1 & 27 & - & - \\
+ 2 & 41 & 35 & - \\
+ 3 & 20 & 14 & 75 \\
+ 4 & 39 & 7 & 75 \\
+ \end{tabular}
+ \caption{Pintos test cases by project.}
+ \label{table:tests}
+\end{table}
+}