From 9fd8f4d49ebad1fd34eab7f0b2a52cd2b983e0fd Mon Sep 17 00:00:00 2001 From: charlie Date: Tue, 26 Jan 2016 17:10:44 +0100 Subject: [PATCH] forgot to add run.sh --- a4/tcp/run.sh | 57 ++++++++++++++++++++++++++++++++++++++++++++++++++- 1 file changed, 56 insertions(+), 1 deletion(-) diff --git a/a4/tcp/run.sh b/a4/tcp/run.sh index c19167c..4cb553c 100755 --- a/a4/tcp/run.sh +++ b/a4/tcp/run.sh @@ -5,5 +5,60 @@ # learningMethod {LStar, TTT, RS, KV} # equaviance orace {rand, wm, wpm} -#java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small LStar wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main small KV wm + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial LStar wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main partial KV wm + + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS rand +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV rand + +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full LStar wm +./adapter.sh & java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full TTT wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full RS wm +./adapter.sh & +java -cp ":lib/automata-parent.jar:lib/learnlib-parent.jar" learner.Main full KV wm + +cp learned*.{dot,pdf} results/ + -- 2.20.1