From 99c84091ce0cb5a702458d82472f09b5e10a4f0f Mon Sep 17 00:00:00 2001 From: abid <chiheb.abid@gmail.com> Date: Sun, 26 May 2019 16:18:23 +0100 Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?= =?UTF-8?q?=20README.md?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index a721e0e..77db7b8 100644 --- a/README.md +++ b/README.md @@ -43,11 +43,12 @@ SOG building from an LTL formula (philo3.net example) ``` mpirun -n 2 hybrid-sog arg1 arg 2 arg3 arg4 -arg1: specifies method of creating threads. It can be set with one of the following values: +arg1: specifies method of creating threads or/and specifies if modelchecking should be performed on the fly. It can be set with one of the following values: * p : using pthread library * pc : using pthread library and applying canonization on nodes * l : using lace framework * lc : using lace framework and applying canonization on nodes + * otf : perform modelchecking on the fly using laceframework arg2: specifies the number of threads/workers to be created arg3: specifies the net to build its SOG arg4: specifies the LTL formula file -- GitLab