From: pimjager <pim@pimjager.nl>
Date: Wed, 20 Jan 2016 11:35:11 +0000 (+0100)
Subject: Start report
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=729683bc4809efd9aaaaa1fb204175ee646b5a39;p=tt2015.git

Start report
---

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}