From d4419bf7350e5bde2c927e8ce63028bc6b8d6ac4 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Thu, 17 Dec 2020 23:33:06 +0100
Subject: [PATCH] Add of description of a new parameter in README.md
 corresponding to new technique for building the SOG during model checking

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

diff --git a/README.md b/README.md
index bd9789f..219d23e 100644
--- a/README.md
+++ b/README.md
@@ -51,6 +51,7 @@ arg1: specifies method of creating threads or/and specifies if modelchecking sho
      * pc : using pthread library and applying canonization on nodes
      * otfP : perform modelchecking on the fly using pthread
      * otfC : perform modelchecking on the fly using c++17 algorithms and a work-stealing approach for the construction of aggregates
+     * otfPR : progressive construction of the SOG during model checking (c++17 posix threads) 
 arg2: specify the number of threads/workers to be created
 arg3: specify the net to build its SOG
 arg4: specify the LTL formula file
-- 
GitLab