equal
deleted
inserted
replaced
246 \end{center} |
246 \end{center} |
247 |
247 |
248 \end{frame} |
248 \end{frame} |
249 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
249 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
250 |
250 |
|
251 %% ~2,237,800 lines of proof in 474 |
251 |
252 |
252 |
253 |
253 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
254 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
254 \begin{frame}[c] |
255 \begin{frame}[c] |
255 \frametitle{Fuzzy Testing C-Compilers} |
256 \frametitle{Fuzzy Testing C-Compilers} |