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

Test failure with Z3 4.8.11 #132

Closed
felixonmars opened this issue Jun 15, 2021 · 1 comment
Closed

Test failure with Z3 4.8.11 #132

felixonmars opened this issue Jun 15, 2021 · 1 comment
Assignees
@robdockins
Labels
tech-debt upstream

Comments

@felixonmars
Copy link
Contributor

There is one test failure with Z3 4.8.11:

  Z3 string3:                              FAIL (0.17s)
    test/ExprBuilderSMTLib2.hs:749:
    correct prefix

All the others are passing.
@robdockins
Copy link
Contributor

I'm pretty sure this is due to #56. I think I'll disable that test for this release and plan to move to the new string escaping method for the next What4 release.

@robdockins robdockins self-assigned this Jul 27, 2021
@kquick kquick closed this as completed in 37fee69 Jan 11, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robdockins robdockins

Labels
tech-debt upstream
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@felixonmars @robdockins