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.9 #67

Closed
felixonmars opened this issue Sep 12, 2020 · 2 comments
Closed

Test failure with Z3 4.8.9 #67

felixonmars opened this issue Sep 12, 2020 · 2 comments
Assignees
@robdockins

Comments

@felixonmars
Copy link
Contributor 

  Z3 string4:                              FAIL (0.13s)
    test/ExprBuilderSMTLib2.hs:794:
    substring not found
...
1 out of 54 tests failed (4.27s)
Test suite expr-builder-smtlib2: FAIL

All other tests pass. With Z3 4.8.8 and everything else unchanged the tests pass.
@robdockins
Copy link
Contributor

Thanks for the report. It seems like something has changed in Z3's string support for that release; I'll take a look and see what's going on.

@robdockins robdockins self-assigned this Sep 14, 2020
@robdockins
Copy link
Contributor

Turns out, this was a problem with the test, which was incorrectly rejecting some models.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@robdockins robdockins

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@felixonmars @robdockins