From 1590dacdcbe8c3084e2f3ca3a006ba36288c6ce4 Mon Sep 17 00:00:00 2001 From: Artur Meski Date: Sun, 29 Apr 2018 19:59:02 +0100 Subject: [PATCH] Check for incorrect property number --- in/gen_drs_mutex.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/in/gen_drs_mutex.py b/in/gen_drs_mutex.py index acb8adb..d9ede51 100755 --- a/in/gen_drs_mutex.py +++ b/in/gen_drs_mutex.py @@ -78,6 +78,8 @@ if f == 1: for i in range(2, n): subf += " AND ~proc{:d}.in".format(i) formula = "AG( proc0.in IMPLIES K[proc0]({:s}) )".format(subf) +else: + assert False, "No such formula" out += PROPERTY_STR.format(formula)