From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 20 Jan 2016 10:37:52 +0000 (+0100)
Subject: hallo'
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=30f3de354d74989c8389aede87f75064e0a3df5b;p=tt2015.git

hallo'
---

diff --git a/a4/code/run_candylearner.sh b/a4/code/run_candylearner.sh
new file mode 100755
index 0000000..b12cf66
--- /dev/null
+++ b/a4/code/run_candylearner.sh
@@ -0,0 +1,2 @@
+#!/bin/bash -x
+java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.CandyLearner
diff --git a/a4/code/src/learner/CandyLearner.java b/a4/code/src/learner/CandyLearner.java
old mode 100755
new mode 100644
index 1669010..61be178
--- a/a4/code/src/learner/CandyLearner.java
+++ b/a4/code/src/learner/CandyLearner.java
@@ -43,11 +43,21 @@ public class CandyLearner {
         // system under learning
         private SutSocketWrapper sul = new SutSocketWrapper(sutInterface_portNumber);
 
-        // reset the SUL
-        @Override
-        public void reset() {
-            sul.sendReset();
-        }
+				@Override
+				public void pre(){
+					System.out.println("hoi");
+				}
+
+				@Override
+				public void post(){
+					System.out.println("hoi");
+				}
+
+ //       // reset the SUL
+ //       @Override
+ //       public void reset() {
+ //           sul.sendReset();
+ //       }
 
         // execute one input on the SUL
         @Override
diff --git a/a4/code/src/learner/SutSocketWrapper.java b/a4/code/src/learner/SutSocketWrapper.java
old mode 100755
new mode 100644