\documentclass[12pt]{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{url}
\usepackage[left=1in, right=1in, top=1in, bottom=1in]{geometry}
\usepackage{verbatim}

\title{\textbf{Unit Testing as Hypothesis Testing} \\ Example Code}
\author{Jonathan Clark}
\date{\today}



\begin{document}
\maketitle

\section*{evil\_sort\_test.c0}

\verbatiminput{evil_sort_test.c0}

\section*{evil\_comparator\_test.c0}

\verbatiminput{evil_comparator_test.c0}

\section*{safe\_add\_test.c0}

\verbatiminput{safe_add_test.c0}

\section*{safe\_add\_fail.coin}

\verbatiminput{safe_add_fail.coin}

\section*{test.sh}

\verbatiminput{test.sh}

\end{document}
