Fix generation of protocols without precondition

81847005 · Philipp Meyer · 76fa0232 · 81847005
Commit 81847005 authored Aug 06, 2018 by Philipp Meyer
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletion

benchmarks/python/execprotocol.py benchmarks/python/execprotocol.py +2 -1

No files found.
--- a/benchmarks/python/execprotocol.py
+++ b/benchmarks/python/execprotocol.py
@@ -42,7 +42,8 @@ else:
            protocol["transitions"][i][p] = list(map(to_string, protocol["transitions"][i][p]))

        protocol["predicate"] = re.sub(r'C\[([^]]*)\]', lambda match: to_string(match.group(1)), protocol["predicate"])
-        protocol["precondition"] = re.sub(r'C\[([^]]*)\]', lambda match: to_string(match.group(1)), protocol["precondition"])
+        if "precondition" in protocol:
+          protocol["precondition"] = re.sub(r'C\[([^]]*)\]', lambda match: to_string(match.group(1)), protocol["precondition"])

        if "statesStyle" in protocol:
          style = protocol["statesStyle"]