Merge remote-tracking branch 'origin/master' into sam/right-assoc-col…

…lections
runtimeverification · Sep 11, 2023 · 9a803db · 9a803db
2 parents 9d1a51b + ca76acb
commit 9a803db
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/kore/src/Kore/JsonRpc.hs b/kore/src/Kore/JsonRpc.hs
@@ -124,6 +124,8 @@ respond serverState moduleName runSMT =
                 case verifyIn serializedModule state of
                     Left err -> pure $ Left $ backendError CouldNotVerifyPattern err
                     Right verifiedPattern -> do
+                        let tracingEnabled =
+                                fromMaybe False logSuccessfulRewrites || fromMaybe False logSuccessfulSimplifications
                         traversalResult <-
                             liftIO
                                 ( runSMT (Exec.metadataTools serializedModule) lemmas $
@@ -134,7 +136,7 @@ respond serverState moduleName runSMT =
                                             then EnableMovingAverage
                                             else DisableMovingAverage
                                         )
-                                        (fromMaybe False $ liftA2 (||) logSuccessfulRewrites logSuccessfulSimplifications)
+                                        tracingEnabled
                                         serializedModule
                                         (toStopLabels cutPointRules terminalRules)
                                         verifiedPattern