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

Include prover counterexamples in remote API #1123

Closed
atomb opened this issue Mar 11, 2021 · 2 comments
Closed

Include prover counterexamples in remote API #1123

atomb opened this issue Mar 11, 2021 · 2 comments
Assignees
@atomb
Labels
subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings
Milestone
0.8

Comments

@atomb
Copy link
Contributor

atomb commented Mar 11, 2021

The SAW/prove method in saw-remote-api does not currently return the counterexample when a proof fails. Commented-out partial code exists but needs to be finished.
@atomb atomb added the subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings label Mar 11, 2021
@atomb atomb added this to the 0.8 milestone Mar 11, 2021
@atomb atomb self-assigned this Mar 11, 2021
@RyanGlScott
Copy link
Contributor

RyanGlScott commented Mar 11, 2021 •
edited
Loading

I wonder if this is the cause of #1127?

@atomb
Copy link
Contributor Author

atomb commented Apr 16, 2021

Fixed by PR #1183.

@atomb atomb closed this as completed Apr 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
subsystem: saw-remote-api Issues related to the SAW server and its RPC bindings
Projects
None yet
Milestone
0.8
Development

No branches or pull requests
2 participants
@atomb @RyanGlScott