repositories / tt2015.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
cmd options for learner and learned model for minimal input alphabet added as sample.
[tt2015.git] / a4 / tcp / run.sh
1 #!/bin/bash -x
2 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small
3 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand
Unnamed repository; edit this file 'description' to name the repository.