From 93ccd3f652b2bf8267118e42781140c9276418d5 Mon Sep 17 00:00:00 2001 From: pimjager Date: Wed, 20 Jan 2016 10:57:43 +0100 Subject: [PATCH] Added readme for running basic learner --- a4/README | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 a4/README diff --git a/a4/README b/a4/README new file mode 100644 index 0000000..343ecf4 --- /dev/null +++ b/a4/README @@ -0,0 +1,7 @@ +/* Running and compiling basic leaner +* To compile (when in learner directory) +javac * -cp :../../lib/automata-parent.jar:../../lib/learnlib-parent.jar +* to run (when in src directory) +java -cp :../lib/automata-parent.jar:../lib/learnlib-parent.jar leaner.Main +*/ + -- 2.20.1