Commit 35dcc6d9 authored by David Hauzar's avatar David Hauzar

Documentation about counterexamples - draft of the structure.

parent e0828922
......@@ -439,6 +439,20 @@ are grouped together under several tabs.
decision by clicking on it.
\end{description}
% \subsection{Displaying Counterexamples}
%
% how to use counterexamples - explain labels, projections, the option --get-ce of why3prove and the setting in why3ide
%
% problem with set logic and counterexamples
%
% which provers
%
% where it is displayed
%
% how to interpret the display
%
% example
\section{The \texttt{bench} Command}
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment