Add optional originalTerm to Rewrite log

runtimeverification · Sep 14, 2023 · db8439b · db8439b
1 parent d677fe6
commit db8439b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/kore-rpc-types/src/Kore/JsonRpc/Types/Log.hs b/kore-rpc-types/src/Kore/JsonRpc/Types/Log.hs
@@ -46,7 +46,8 @@ data LogRewriteResult
 
 data LogEntry
     = Rewrite
-        { result :: LogRewriteResult
+        { originalTerm :: Maybe KoreJson
+        , result :: LogRewriteResult
         , origin :: LogOrigin
         }
     | Simplification

diff --git a/kore/src/Kore/JsonRpc.hs b/kore/src/Kore/JsonRpc.hs
@@ -184,6 +184,7 @@ respond serverState moduleName runSMT =
                                                 , substitution = Nothing
                                                 , ruleId = fromMaybe "UNKNOWN" $ getUniqueId ruleId
                                                 }
+                                        , originalTerm = Nothing
                                         , origin = KoreRpc
                                         }
                                        | fromMaybe False logSuccessfulRewrites