From 7b67f684b001855df901f23c03e36e5095bed4b4 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Wed, 20 Jan 2016 11:15:42 +0100 Subject: [PATCH] awesome scriptszzz" --- a4/code/bouw.sh | 2 +- a4/code/learnedModel.dot | 18 ------------------ a4/code/run.sh | 1 + a4/code/schoonop.sh | 4 ++-- 4 files changed, 4 insertions(+), 21 deletions(-) mode change 100644 => 100755 a4/code/bouw.sh delete mode 100644 a4/code/learnedModel.dot mode change 100644 => 100755 a4/code/run.sh mode change 100644 => 100755 a4/code/schoonop.sh diff --git a/a4/code/bouw.sh b/a4/code/bouw.sh old mode 100644 new mode 100755 index b706518..dbf9d07 --- a/a4/code/bouw.sh +++ b/a4/code/bouw.sh @@ -1,2 +1,2 @@ +#!/bin/bash -x javac -d . -sourcepath src/ -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" src/learner/*.java -echo "Werkt het niet? Verifieer java 1.8" diff --git a/a4/code/learnedModel.dot b/a4/code/learnedModel.dot deleted file mode 100644 index 8c17d6c..0000000 --- a/a4/code/learnedModel.dot +++ /dev/null @@ -1,18 +0,0 @@ -digraph g { -__start0 [label="" shape="none"]; - - s0 [shape="circle" label="0"]; - s1 [shape="circle" label="1"]; - s2 [shape="circle" label="2"]; - s0 -> s1 [label="a / x"]; - s0 -> s2 [label="b / y"]; - s0 -> s0 [label="c / z"]; - s1 -> s1 [label="a / z"]; - s1 -> s2 [label="b / y"]; - s1 -> s1 [label="c / z"]; - s2 -> s2 [label="a / z"]; - s2 -> s0 [label="b / y"]; - s2 -> s2 [label="c / z"]; - -__start0 -> s0; -} diff --git a/a4/code/run.sh b/a4/code/run.sh old mode 100644 new mode 100755 index becbbd0..d3d70ef --- a/a4/code/run.sh +++ b/a4/code/run.sh @@ -1 +1,2 @@ +#!/bin/bash -x java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main diff --git a/a4/code/schoonop.sh b/a4/code/schoonop.sh old mode 100644 new mode 100755 index 9665e25..0b3a81d --- a/a4/code/schoonop.sh +++ b/a4/code/schoonop.sh @@ -1,2 +1,2 @@ -rm *.dot -rm -rf learner +#!/bin/bash -x +rm -r learner *.{pdf,dot} -- 2.20.1