From e626890788622f529ddd24b44e0f26806db1a255 Mon Sep 17 00:00:00 2001
From: crides <zhuhaoqing@live.cn>
Date: Fri, 21 Oct 2022 16:00:56 -0500
Subject: [PATCH] change 'controller' name to 'decisionLogic'
---
verse/parser/parser.py | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/verse/parser/parser.py b/verse/parser/parser.py
index ef4e003a..e29ae6dd 100644
--- a/verse/parser/parser.py
+++ b/verse/parser/parser.py
@@ -304,9 +304,9 @@ class ControllerIR:
@staticmethod
def from_env(env):
top = env.scopes[0].v
- if 'controller' not in top or not isinstance(top['controller'], Lambda):
+ if 'decisionLogic' not in top or not isinstance(top['decisionLogic'], Lambda):
raise TypeError("can't find controller")
- controller = top['controller']
+ controller = top['decisionLogic']
asserts = [(a.cond, a.label if a.label != None else f"<assert {i}>", merge_conds(a.pre)) for i, a in enumerate(controller.asserts)]
asserts_veri = [Assert(Env.trans_args(copy.deepcopy(c), True), l, Env.trans_args(copy.deepcopy(p), True)) for c, l, p in asserts]
for a in asserts_veri:
--
GitLab