From 30f3de354d74989c8389aede87f75064e0a3df5b Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 20 Jan 2016 11:37:52 +0100 Subject: [PATCH] hallo' --- a4/code/run_candylearner.sh | 2 ++ a4/code/src/learner/CandyLearner.java | 20 +++++++++++++++----- a4/code/src/learner/SutSocketWrapper.java | 0 3 files changed, 17 insertions(+), 5 deletions(-) create mode 100755 a4/code/run_candylearner.sh mode change 100755 => 100644 a4/code/src/learner/CandyLearner.java mode change 100755 => 100644 a4/code/src/learner/SutSocketWrapper.java 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 -- 2.20.1