RPC server should return stuck (#3634)

The server currently returns `depth-bound` as a reason, when no applicable rules were found. The reason should instead be `stuck` if max-depth wasn't reached.
runtimeverification · Aug 1, 2023 · 3cfcc04 · 3cfcc04
1 parent 74b14c4
commit 3cfcc04
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kore/src/Kore/JsonRpc.hs b/kore/src/Kore/JsonRpc.hs
@@ -204,7 +204,7 @@ respond serverState moduleName runSMT =
                                     ExecuteResult
                                         { state = patternToExecState sort result
                                         , depth = Depth depth
-                                        , reason = DepthBound
+                                        , reason = if Just (Depth depth) == maxDepth then DepthBound else Stuck
                                         , rule = Nothing
                                         , nextStates = Nothing
                                         , logs = mkLogs rules