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