Changeset 69

Legend:

Unmodified

Added

Removed

• docs/trunk/200711-tock-seminars/200711-A-tock-slides.tex

  r68	r69
  84	84	\end{itemize}
  85	85	\begin{center}\includegraphics[width=80mm]{Tock-Nanopass-Classic.png}\end{center}
  86	(削除) %TODO might make the above into a vertical diagram so it can sit more nicely on the slide (削除ここまで)
  87	86	\end{frame}
  88	87
  …	…
  306	305	\end{frame}
  307	306
  308	\begin{frame}(削除) (削除ここまで)
  307	\begin{frame}(追記) [fragile] (追記ここまで)
  309	308	\frametitle{The test frameworks we use}
  310	309	\begin{itemize}
  …	…
  317	316	\begin{itemize}
  318	317	\item Automatically generates testcases!
  319	(削除) \item Generates random input data (削除ここまで)
  320	(削除) \item Checks that properties hold on the output (削除ここまで)
  321	318	\item Best for tests where properties of the output can be
  322	319	simply expressed
  323	320	\end{itemize}
  324	\item TODO QuickCheck diagram here: Random test data -{Input}-> Function to test -{Output}-> Check property holds
  325	\end{itemize}
  321	\end{itemize}
  322	\begin{center}
  323	\includegraphics[width=80mm]{Tock-QuickCheck.png}
  324	\end{center}
  326	325	\end{frame}
  327	326

Note: See TracChangeset for help on using the changeset viewer.