From b5e1190daed3242bd8ab53a2e06314ddeceb6ae8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kevin=20L=C3=A4ufer?= Date: Tue, 9 Jan 2024 10:40:21 -0800 Subject: [PATCH] fix --- rtlrepair/templates/conditional_overwrite.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rtlrepair/templates/conditional_overwrite.py b/rtlrepair/templates/conditional_overwrite.py index c15586d..752481e 100644 --- a/rtlrepair/templates/conditional_overwrite.py +++ b/rtlrepair/templates/conditional_overwrite.py @@ -114,7 +114,7 @@ def collect_condition_atoms(conditions: list) -> list: def destruct_to_atom(expr: list) -> set: """ conjunction and negation is already part of our template, thus we want to exclude it from our atoms """ - if isinstance(expr, vast.UnaryOperator): + if isinstance(expr, vast.Unot) or isinstance(expr, vast.Ulnot): return destruct_to_atom(expr.right) elif isinstance(expr, vast.Land): return destruct_to_atom(expr.left) | destruct_to_atom(expr.right)