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

[FEATURE] Update code for comaptibility with Z3 4.8.10 #788

Closed

shonfeder opened this issue Apr 29, 2021 · 1 comment

Labels

new

Milestone

Contributor

shonfeder commented Apr 29, 2021

Tracking issue for #606

It seems there is a slight incompatibility with the new API.

shonfeder added the new label

shonfeder added this to the May iteration milestone

shonfeder modified the milestones: May iteration, July iteration

Contributor Author

shonfeder commented Jul 22, 2021

Fixed in #606

shonfeder closed this as completed

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