New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Forward_for and forward_for_simple_bound cannot handle multiple EX in Inv #193

Open

QinxiangCao opened this issue Apr 24, 2018 · 1 comment

Collaborator

QinxiangCao commented Apr 24, 2018

Forward_for and forward_for_simple_bound cannot handle multiple existential quantifiers in loop invariants.

QinxiangCao mentioned this issue

New forward_for_simple_bound #260

Merged

Collaborator Author

QinxiangCao commented Jul 16, 2018

Forward_for_simple_bound now allows multiple EX. (PR #260)

# for free to join this conversation on GitHub. Already have an account? # to comment