a4/tcp/run.sh

   1 #!/bin/bash -x
   2
   3 # parametrs for learner
   4 #  aphabetSize {small, partial, full} - selects subset input alphabet. this affects model size
   5 #  learningMethod {LStar, TTT, RS, KV}
   6 #  equaviance orace {rand, wm, wpm}
   7
   8 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small
   9 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT wm