Remove simplification RPC logs from the logging integration test

Author: geo2a

booster/tools/booster/Proxy.hs

@@ -25,7 +25,7 @@ import Data.Bifunctor (second)
 import Data.Either (partitionEithers)
 import Data.List.NonEmpty qualified as NonEmpty
 import Data.Map qualified as Map
-import Data.Maybe (catMaybes, fromJust, fromMaybe, isJust, isNothing, mapMaybe)
+import Data.Maybe (catMaybes, fromMaybe, isJust, isNothing, mapMaybe)
 import Data.Text (Text)
 import Data.Text qualified as Text
 import Data.Text.Lazy (toStrict)
@@ -42,7 +42,6 @@ import Kore.Internal.TermLike (TermLike, VariableName)
 import Kore.JsonRpc qualified as Kore (ServerState)
 import Kore.JsonRpc.Types
 import Kore.JsonRpc.Types qualified as ExecuteRequest (ExecuteRequest (..))
-import Kore.JsonRpc.Types qualified as ImpliesRequest (ImpliesRequest (..))
 import Kore.JsonRpc.Types qualified as SimplifyRequest (SimplifyRequest (..))
 import Kore.JsonRpc.Types.Log qualified as RPCLog
 import Kore.Log qualified

test/rpc-server/execute/logs/params.json

@@ -2,7 +2,5 @@
     "terminal-rules": ["TEST.DE", "TEST.AB"],
     "max-depth": 3,
     "log-successful-rewrites": true,
-    "log-failed-rewrites": true,
-    "log-successful-simplifications": true,
-    "log-failed-simplifications": true
+    "log-failed-rewrites": true
 }

test/rpc-server/execute/logs/response.golden

@@ -1 +1 @@
-{"jsonrpc":"2.0","id":1,"result":{"reason":"terminal-rule","depth":2,"rule":"TEST.DE","state":{"term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'-LT-'generatedTop'-GT-'","sorts":[],"args":[{"tag":"App","name":"Lbl'-LT-'k'-GT-'","sorts":[],"args":[{"tag":"App","name":"kseq","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"e"}]},{"tag":"App","name":"dotk","sorts":[],"args":[]}]}]},{"tag":"App","name":"Lbl'-LT-'generatedCounter'-GT-'","sorts":[],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortInt","args":[]},"value":"0"}]}]}}},"logs":[{"tag":"simplification","origin":"kore-rpc","original-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"LblinitGeneratedTopCell","sorts":[],"args":[{"tag":"App","name":"Lbl'UndsPipe'-'-GT-Unds'","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortKConfigVar","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortKConfigVar","args":[]},"value":"$PGM"}]},{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}]}]}]}},"result":{"tag":"success","rewritten-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'-LT-'generatedTop'-GT-'","sorts":[],"args":[{"tag":"App","name":"LblinitKCell","sorts":[],"args":[{"tag":"App","name":"Lbl'UndsPipe'-'-GT-Unds'","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortKConfigVar","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortKConfigVar","args":[]},"value":"$PGM"}]},{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}]}]}]},{"tag":"App","name":"LblinitGeneratedCounterCell","sorts":[],"args":[]}]}},"rule-id":"UNKNOWN"}},{"tag":"simplification","origin":"kore-rpc","original-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"LblinitKCell","sorts":[],"args":[{"tag":"App","name":"Lbl'UndsPipe'-'-GT-Unds'","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortKConfigVar","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortKConfigVar","args":[]},"value":"$PGM"}]},{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}]}]}]}},"result":{"tag":"success","rewritten-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'-LT-'k'-GT-'","sorts":[],"args":[{"tag":"App","name":"kseq","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"App","name":"Lblproject'Coln'State","sorts":[],"args":[{"tag":"App","name":"kseq","sorts":[],"args":[{"tag":"App","name":"LblMap'Coln'lookup","sorts":[],"args":[{"tag":"App","name":"Lbl'UndsPipe'-'-GT-Unds'","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortKConfigVar","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortKConfigVar","args":[]},"value":"$PGM"}]},{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}]}]},{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortKConfigVar","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortKConfigVar","args":[]},"value":"$PGM"}]}]},{"tag":"App","name":"dotk","sorts":[],"args":[]}]}]}]},{"tag":"App","name":"dotk","sorts":[],"args":[]}]}]}},"rule-id":"64786fd44ad73c13ddf8b9aaecebe5256c7a4102003fdf068a91202656965b95"}},{"tag":"simplification","origin":"kore-rpc","original-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lblproject'Coln'State","sorts":[],"args":[{"tag":"App","name":"kseq","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}]},{"tag":"App","name":"dotk","sorts":[],"args":[]}]}]}},"result":{"tag":"success","rewritten-term":{"format":"KORE","version":1,"term":{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"c"}},"rule-id":"UNKNOWN"}},{"tag":"simplification","origin":"kore-rpc","original-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"LblinitGeneratedCounterCell","sorts":[],"args":[]}},"result":{"tag":"success","rewritten-term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'-LT-'generatedCounter'-GT-'","sorts":[],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortInt","args":[]},"value":"0"}]}},"rule-id":"UNKNOWN"}},{"tag":"rewrite","origin":"kore-rpc","result":{"tag":"success","rule-id":"ff014a1391cb03a765bde1287d17bf3bcf43de53891ef00eb786fba0821482f3"}},{"tag":"rewrite","origin":"kore-rpc","result":{"tag":"success","rule-id":"cfd9eb5da65c2181aea38757bfbc0feddbd8a11537d630b53b5c37bc63c37b05"}}]}}
+{"jsonrpc":"2.0","id":1,"result":{"reason":"terminal-rule","depth":2,"rule":"TEST.DE","state":{"term":{"format":"KORE","version":1,"term":{"tag":"App","name":"Lbl'-LT-'generatedTop'-GT-'","sorts":[],"args":[{"tag":"App","name":"Lbl'-LT-'k'-GT-'","sorts":[],"args":[{"tag":"App","name":"kseq","sorts":[],"args":[{"tag":"App","name":"inj","sorts":[{"tag":"SortApp","name":"SortState","args":[]},{"tag":"SortApp","name":"SortKItem","args":[]}],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortState","args":[]},"value":"e"}]},{"tag":"App","name":"dotk","sorts":[],"args":[]}]}]},{"tag":"App","name":"Lbl'-LT-'generatedCounter'-GT-'","sorts":[],"args":[{"tag":"DV","sort":{"tag":"SortApp","name":"SortInt","args":[]},"value":"0"}]}]}}},"logs":[{"tag":"rewrite","origin":"kore-rpc","result":{"tag":"success","rule-id":"ff014a1391cb03a765bde1287d17bf3bcf43de53891ef00eb786fba0821482f3"}},{"tag":"rewrite","origin":"kore-rpc","result":{"tag":"success","rule-id":"cfd9eb5da65c2181aea38757bfbc0feddbd8a11537d630b53b5c37bc63c37b05"}}]}}