Add unsupported Array equality. (#6)

GaloisInc · Jul 2, 2020 · 6ffb49e · 6ffb49e
1 parent f01bfce
commit 6ffb49e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Verifier/SAW/Simulator/SBV.hs b/src/Verifier/SAW/Simulator/SBV.hs
@@ -174,6 +174,7 @@ prims =
   , Prims.bpArrayConstant = unsupportedSBVPrimitive "bpArrayConstant"
   , Prims.bpArrayLookup = unsupportedSBVPrimitive "bpArrayLookup"
   , Prims.bpArrayUpdate = unsupportedSBVPrimitive "bpArrayUpdate"
+  , Prims.bpArrayEq = unsupportedSBVPrimitive "bpArrayEq"
   }
 
 unsupportedSBVPrimitive :: String -> a