remove grev, leaving unit tests for later use by grevlut

[openpower-isa.git] / src / openpower / decoder / formal / test_decoder2.py

diff --git a/src/openpower/decoder/formal/test_decoder2.py b/src/openpower/decoder/formal/test_decoder2.py
index 15e3538fb7622c7f6ff7dabe90b3c747ad86f94a..7f862eace5feeb4fcc06254f02ccb64c82978828 100644 (file)
--- a/src/openpower/decoder/formal/test_decoder2.py
+++ b/src/openpower/decoder/formal/test_decoder2.py
@@ -109,8 +109,6 @@ class Driver(Elaboratable):
                     comb += Assert(pdecode2.e.imm_data.data == dec.sh)
                 with m.Case(In2Sel.CONST_SH32):
                     comb += Assert(pdecode2.e.imm_data.data == dec.SH32)
-                with m.Case(In2Sel.CONST_XBI):
-                    comb += Assert(pdecode2.e.imm_data.data == dec.FormXB.XBI)
                 with m.Default():
                     comb += Assert(0)