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 #./adapter.sh &
   9 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm
  10
  11 #./adapter.sh &
  12 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar wm
  13 #./adapter.sh &
  14 #java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS wm
  15 #./adapter.sh &
  16 java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV wm
  17
  18 cp learned*.{dot,pdf} results/
  19