repositories / tt2015.git / blob
? search:


d3d70ef86df250b65a52bea33ae7a5d85b9ddbb5
[tt2015.git] / a4 / tcp / 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.