Disallow for PMutex

2019-04-28 18:59:38 +01:00
parent 7f212fbf2b
commit 2379248d3f
1 changed files with 1 additions and 1 deletions
--- 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]