repositories / tt2015.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
awesome scriptszzz"
[tt2015.git] / a4 / code / run.sh
1 #!/bin/bash -x
2 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main
Unnamed repository; edit this file 'description' to name the repository.