From 38b84bdc22def08bf187bbccb02c881d6bba02ed Mon Sep 17 00:00:00 2001
From: Artur Meski <artur.meski@gmail.com>
Date: Sun, 29 Sep 2019 15:46:54 +0100
Subject: [PATCH] Readme update

---
 README.md | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/README.md b/README.md
index 98cd3f4..a781e7a 100644
--- a/README.md
+++ b/README.md
@@ -36,6 +36,18 @@ To test the SMT module for rsLTL verification with the scalable chain system, th
 ./reactics smt examples/smt/scalable_chain.py 2 5 1
 ```
 
+Running the benchmark without any arguments tells us what parameters can be used:
+
+```
+./reactics smt examples/smt/scalable_chain.py
+
+ ------------------------------------------------
+ -- ReactICS -- Reaction Systems Model Checker --
+ ------------------------------------------------
+
+arguments: <chainLen> <maxConc> <formulaNumber>
+```
+
 ### Reaction synthesis
 
 To test the reaction synthesis approach on a mutual exclution protocol modelling three processes, run the following command: