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

Override Abort messages not printing #353

Closed
jldodds opened this issue Jan 14, 2019 · 3 comments
Closed

Override Abort messages not printing #353

jldodds opened this issue Jan 14, 2019 · 3 comments

Comments

@jldodds
Copy link
Contributor

jldodds commented Jan 14, 2019

Now that #334 is fixed, when no override can be applied the abort message should supply the appropriate "abort due to false assumption" message after override fails.

Now, the output is simply "Symbolic execution failed. Aborted branch"
@jldodds
Copy link
Contributor Author

jldodds commented Jan 14, 2019

The current workaround to this is to supply -d 3 at the command line to get the old verbose abort behavior back

@robdockins robdockins added the maybe fixed Issues where there's reason to think they might be fixed but that still requires confirmation label Mar 26, 2021
@kquick
Copy link
Member

kquick commented Mar 26, 2021

The old behavior was probably: Removing any override would cause the proof to fail silently.

@jldodds jldodds removed the maybe fixed Issues where there's reason to think they might be fixed but that still requires confirmation label Mar 26, 2021
@jldodds
Copy link
Contributor Author

jldodds commented Mar 26, 2021

This has been fixed

@jldodds jldodds closed this as completed Mar 26, 2021
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
@jldodds @kquick @robdockins