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

Jump to bottom

JsonRpcError bug report #213

Open
hjorthjort opened this issue Nov 28, 2023 · 4 comments
Open

JsonRpcError bug report #213

hjorthjort opened this issue Nov 28, 2023 · 4 comments

Comments

@hjorthjort
Copy link
Contributor

hjorthjort commented Nov 28, 2023 •
edited
Loading

I'm getting a DecidePredicateUnknown followed by a (possibly) related failure.

Bug report available at https://github.com/runtimeverification/mev-searcher/issues/64
@palinatolmach
Copy link
Collaborator

palinatolmach commented Nov 28, 2023 •
edited
Loading

The bug report is here: uniswap-frontrun.zip

@geo2a
Copy link
Contributor

geo2a commented Nov 30, 2023

This PR to pyk (that depends on another PR to hs-backend-booster) may make these failures a little more discoverable. Just leaving this here to track.

@hjorthjort
Copy link
Contributor Author

@geo2a which PR?

@geo2a
Copy link
Contributor

geo2a commented Feb 6, 2024

Sorry, I was talking about this PR: runtimeverification/pyk#744

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@geo2a @hjorthjort @palinatolmach