From 3bf35dc6fc0c37797b0d8ae2a30cc46e26ebe0e8 Mon Sep 17 00:00:00 2001 From: Mariusz Skamra Date: Wed, 13 Aug 2025 10:32:14 +0200 Subject: [PATCH] Fix instruction in README This fixes the missing mention of the RALib dependency. Since "mvn install" fails due to RALib missing, the instruction is updated to use the ./install.sh script, which handles the dependency automatically. --- README.md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b067387..0e17901 100644 --- a/README.md +++ b/README.md @@ -43,8 +43,15 @@ dot -V 2. To install the ProtocolState-Fuzzer use: ```bash -mvn install +./install.sh ``` +This script will: + +* clone and install [RALib](https://github.com/LearnLib/ralib) library that is + not available from Maven repository for now; + +* run `mvn install` command; + This command will: * create in the `target` directory the **jar** file containing the compiled