add missing on_SmtExpr methods

diff --git a/src/openpower/decoder/test/_pyrtl.py b/src/openpower/decoder/test/_pyrtl.py
index 8530020cc26b97e3b63300f39cdc67c11b7cd6b9..f7f33a9c1d4fadca08d1225f9c2bd9704b3d2c78 100644 (file)
--- 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: