From 2b8657727e1a98f07a0a646b2f12df5ebf0a9dcc Mon Sep 17 00:00:00 2001 From: Jacob Lifshay Date: Wed, 24 Aug 2022 23:44:36 -0700 Subject: [PATCH] add missing on_SmtExpr methods --- src/openpower/decoder/test/_pyrtl.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/openpower/decoder/test/_pyrtl.py b/src/openpower/decoder/test/_pyrtl.py index 8530020c..f7f33a9c 100644 --- a/src/openpower/decoder/test/_pyrtl.py +++ b/src/openpower/decoder/test/_pyrtl.py @@ -114,6 +114,9 @@ class _RHSValueCompiler(_ValueCompiler): # If not None, `inputs` gets populated with RHS signals. self.inputs = inputs + def on_SmtExpr(self, value): + raise NotImplementedError + def on_Const(self, value): return f"{value.value}" @@ -267,6 +270,9 @@ class _LHSValueCompiler(_ValueCompiler): # If not None, `outputs` gets populated with signals on LHS. self.outputs = outputs + def on_SmtExpr(self, value): + raise NotImplementedError + def on_Const(self, value): raise TypeError # :nocov: -- 2.30.2