From 2379248d3fd4f3314fb1dd4bc1b9afa4c71d925c Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 28 Apr 2019 18:59:38 +0100 Subject: [PATCH] Disallow for PMutex --- reactics-smt/rs_testing.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/reactics-smt/rs_testing.py b/reactics-smt/rs_testing.py index 5ebb2e7..8ee47c3 100644 --- a/reactics-smt/rs_testing.py +++ b/reactics-smt/rs_testing.py @@ -153,7 +153,7 @@ def mutex_param_bench(cmd_args): if ent not in ent_of_Nth_proc: disallow.append(ent) - disallow.append("act_" + str(n_proc-1)) + # disallow.append("act_" + str(n_proc-1)) # disallow = ["in_0", "in_" + str(n_proc)] #, "req_0", "req_1"] lda1_disallow = [param_entity(lda1, ent) == 0 for ent in disallow]