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

Pretty printing stack overflow for proofs #211

Open
oflatt opened this issue Oct 25, 2022 · 3 comments
Open

Pretty printing stack overflow for proofs #211

oflatt opened this issue Oct 25, 2022 · 3 comments

Comments

@oflatt
Copy link
Member

oflatt commented Oct 25, 2022

Right now, getting proofs with get_string_with_let can stack overflow because of our bad pretty printer.
@cospectrum
Copy link
Contributor

cospectrum commented Apr 25, 2024 •
edited
Loading

Has anyone had any problems in practice? The proof must be very huge I think

@oflatt
Copy link
Member Author

oflatt commented Apr 25, 2024

Yes, the Herbie project has run into this before

@bksaiki
Copy link
Contributor

bksaiki commented Jul 30, 2024

Should be fixed by #310

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
@oflatt @bksaiki @cospectrum