shizzle iets aangepast
[tt2015.git] / a4 / tcp / run.sh
index 645b4f8..cbda43f 100755 (executable)
@@ -1,3 +1,3 @@
 #!/bin/bash -x
 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small
-java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand
+java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm