add 'not-implemented' implementation of MAP.updateAll to kore

Author: jberthold

kore/src/Kore/Builtin/Map.hs

@@ -204,6 +204,10 @@ symbolVerifiers =
                 assertSort
                 [assertSort, acceptAnySort, acceptAnySort]
             )
+        ,
+            ( Map.updateAllKey
+            , Builtin.verifySymbol assertSort [assertSort, assertSort]
+            )
         ,
             ( Map.in_keysKey
             , Builtin.verifySymbol Bool.assertSort [acceptAnySort, assertSort]
@@ -486,6 +490,7 @@ builtinFunctions key
     | key == Map.elementKey = Just $ Builtin.functionEvaluator evalElement
     | key == Map.unitKey = Just $ Builtin.functionEvaluator evalUnit
     | key == Map.updateKey = Just $ Builtin.functionEvaluator evalUpdate
+    | key == Map.updateAllKey = Just $ Builtin.notImplemented
     | key == Map.in_keysKey = Just $ Builtin.functionEvaluator evalInKeys
     | key == Map.keysKey = Just $ Builtin.functionEvaluator evalKeys
     | key == Map.keys_listKey = Just $ Builtin.functionEvaluator evalKeysList

kore/src/Kore/Builtin/Map/Map.hs

@@ -34,6 +34,7 @@ module Kore.Builtin.Map.Map (
     removeKey,
     unitKey,
     updateKey,
+    updateAllKey,
     sizeKey,
     valuesKey,
     inclusionKey,
@@ -73,6 +74,9 @@ unitKey = "MAP.unit"
 updateKey :: IsString s => s
 updateKey = "MAP.update"
 
+updateAllKey :: IsString s => s
+updateAllKey = "MAP.updateAll"
+
 in_keysKey :: IsString s => s
 in_keysKey = "MAP.in_keys"