clintest.tex

% ----------------------------------------------------------------------
\begin{frame}{\clintest}
  \begin{itemize}
  \item \structure{Idea} \ test logic programs
  \item \structure{Features}
    \begin{itemize}
    \item numerous off-the-shelf tests
    \item support for integrating custom-build tests
    \item efficent test execution by steering the solving process
    \end{itemize}
  \item \structure{Technology} \ \clingo
  \end{itemize}
\end{frame}
% ----------------------------------------------------------------------
\begin{frame}[fragile]{Example}{Testing at work}
  \begin{lstlisting}[language=python,basicstyle=\small\ttfamily]
  from clintest.test import Assert, And
  from clintest.quantifier import All, Any
  from clintest.assertion import Contains
  from clintest.solver import Clingo

  solver = Clingo("0", "a. {b}.")
  test = And(
      Assert(Any(), Contains("a")),
      Assert(All(), Contains("b")),
      Assert(Any(), Contains("c")),
  )

  solver.solve(test)
  test.assert_()
  \end{lstlisting}
  \end{frame}
  % ----------------------------------------------------------------------
%
%%% Local Variables:
%%% mode: latex
%%% TeX-master: "../../main"
%%% End: