Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle Kore's DecidePredicateUnknown more gracefully #371

Closed
wants to merge 1 commit into from
Closed

Handle Kore's DecidePredicateUnknown more gracefully #371

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion cabal.project
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ source-repository-package
source-repository-package
type: git
location: https://github.com/runtimeverification/haskell-backend.git
tag: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
tag: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
--sha256:
subdir: kore kore-rpc-types

6 changes: 3 additions & 3 deletions flake.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion stack.yaml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ extra-deps:
- typerep-map-0.5.0.0
- monad-validate-1.2.0.1
- git: https://github.com/runtimeverification/haskell-backend.git
commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
subdirs:
- kore
- kore-rpc-types
Expand Down
10 changes: 5 additions & 5 deletions stack.yaml.lock
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -40,20 +40,20 @@ packages:
original:
hackage: monad-validate-1.2.0.1
- completed:
commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
git: https://github.com/runtimeverification/haskell-backend.git
name: kore
pantry-tree:
sha256: 4e10ba0429ca8270171f2b1d1fcdc646631707fc7c468c14d2a2962b203c7f5c
sha256: bae5826dab9e9b0a9c73fef4de3160b15c461ddcd423a66dcfc4a76fc08f2176
size: 44685
subdir: kore
version: 0.60.0.0
original:
commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore
- completed:
commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
git: https://github.com/runtimeverification/haskell-backend.git
name: kore-rpc-types
pantry-tree:
Expand All @@ -62,7 +62,7 @@ packages:
subdir: kore-rpc-types
version: 0.60.0.0
original:
commit: eebe4e9fd9dd6c606b37a384dbbfecca85943a38
commit: 1690d266738955c6fbf8fad6a36b14c2e6c2bbf4
git: https://github.com/runtimeverification/haskell-backend.git
subdir: kore-rpc-types
snapshots:
Expand Down
2 changes: 1 addition & 1 deletion tools/booster/Server.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -159,7 +159,7 @@ main = do
jsonRpcServer
srvSettings
(const $ Proxy.respondEither proxyConfig boosterRespond koreRespond)
[handleErrorCall, handleSomeException]
[Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
interruptHandler _ = do
when (logLevel >= LevelInfo) $
hPutStrLn stderr "[Info#proxy] Server shutting down"
Expand Down
2 changes: 1 addition & 1 deletion tools/kore-rpc-dev/Server.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -170,7 +170,7 @@ main = do
jsonRpcServer
srvSettings
(const $ respond koreRespond)
[handleErrorCall, handleSomeException]
[Kore.handleDecidePredicateUnknown, handleErrorCall, handleSomeException]
interruptHandler _ = do
when (logLevel >= LevelInfo) $
hPutStrLn stderr "[Info#proxy] Server shutting down"
Expand Down