From 729683bc4809efd9aaaaa1fb204175ee646b5a39 Mon Sep 17 00:00:00 2001 From: pimjager Date: Wed, 20 Jan 2016 12:35:11 +0100 Subject: [PATCH] Start report --- a4/question1.tex | 10 ++++++++++ a4/tt4.tex | 3 ++- 2 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 a4/question1.tex diff --git a/a4/question1.tex b/a4/question1.tex new file mode 100644 index 0000000..c2dc0bd --- /dev/null +++ b/a4/question1.tex @@ -0,0 +1,10 @@ +The Candymachine was learned using LearnLib, with the following results. + +\begin{description} + \item[Can you always insert every coin?] + \item[How much do you need to pay for a single mars?] + \item[How much do you need to pay for a single Snickers?] + \item[How much do you need to pay for a single Bounty?] + \item[Which is the minimum amount of money that you need for TWO Snickers + AND a Bounty?] +\end{description} \ No newline at end of file diff --git a/a4/tt4.tex b/a4/tt4.tex index 5c19fb0..c6f34a1 100644 --- a/a4/tt4.tex +++ b/a4/tt4.tex @@ -4,7 +4,8 @@ \tableofcontents \newpage -hoi +\section{Question 1} +\input{question1.tex} \nocite{*} \bibliographystyle{ieeetr} -- 2.20.1