Commit 6e341e2a authored by Philipp Meyer's avatar Philipp Meyer

Update python generator for protocols

parent 3e3398b2
......@@ -42,6 +42,7 @@ 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 "statesStyle" in protocol:
style = protocol["statesStyle"]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment