cmd options for learner and learned model for minimal input alphabet added as sample.
[tt2015.git] / a4 / tcp / run.sh
index d3d70ef..645b4f8 100755 (executable)
@@ -1,2 +1,3 @@
 #!/bin/bash -x
-java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
+#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