1 \newcommand{\pintosenvfigure}{
4 \includegraphics[trim=.5in 3.2in .7in .3in, clip,width=\columnwidth]{pintosoptions.pdf}
5 \caption{The same Pintos instructional kernel runs in a
6 fully reproducible simulated environment, in an enhanced
7 emulated environment with dynamic analysis capability, and
13 \newcommand{\pintosdetailfigure}{
16 \includegraphics[width=.7\textwidth]{pintosoverview.pdf}
17 \caption{Components of Pintos split in provided support code, test cases,
18 and components created in assignments. Overlapping components indicate
19 when students have to replace parts of the support code.}
20 \label{fig:pintosdetail}
24 % these are needed to use \fbox{} to surround includegraphics with so we can see the borders
25 \setlength\fboxsep{0pt}
26 \setlength\fboxrule{0.5pt}
28 \newcommand{\pintosdetailfiguretwo}{
32 % left bottom right top
33 \includegraphics[trim=.0in .4in .25in .1in, width=.7\textwidth]{pintosoverviewnolegend.pdf}
35 \includegraphics[trim=.0in 3.3in 7.3in .0in, width=1.6in]{pintosoverviewlegend.pdf}
38 \caption{Components of Pintos split in provided support code, test cases,
39 and components created in assignments. Overlapping components indicate
40 when students have to replace parts of the support code.}
41 \label{fig:pintosdetail}
45 \newcommand{\pintostestcounttable}{
48 Project & Functionality & Robustness & Regression \\
54 \caption{Pintos test cases by project.}