awesome scriptszzz"
authorMart Lubbers <mart@martlubbers.net>
Wed, 20 Jan 2016 10:15:42 +0000 (11:15 +0100)
committerMart Lubbers <mart@martlubbers.net>
Wed, 20 Jan 2016 10:15:42 +0000 (11:15 +0100)
a4/code/bouw.sh [changed mode: 0644->0755]
a4/code/learnedModel.dot [deleted file]
a4/code/run.sh [changed mode: 0644->0755]
a4/code/schoonop.sh [changed mode: 0644->0755]

old mode 100644 (file)
new mode 100755 (executable)
index b706518..dbf9d07
@@ -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 (file)
index 8c17d6c..0000000
+++ /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;
-}
old mode 100644 (file)
new mode 100755 (executable)
index becbbd0..d3d70ef
@@ -1 +1,2 @@
+#!/bin/bash -x
 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
old mode 100644 (file)
new mode 100755 (executable)
index 9665e25..0b3a81d
@@ -1,2 +1,2 @@
-rm *.dot
-rm -rf learner
+#!/bin/bash -x
+rm -r learner *.{pdf,dot}