repositories / tt2015.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
shizzle iets aangepast
[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 TTT wm
Unnamed repository; edit this file 'description' to name the repository.