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

Heap-dependent triggers not yet fully supported #257

Open
viper-admin opened this issue Oct 12, 2018 · 3 comments
Open

Heap-dependent triggers not yet fully supported #257

viper-admin opened this issue Oct 12, 2018 · 3 comments
Assignees
@alexanderjsummers
Labels
bug Something isn't working major

Comments

@viper-admin
Copy link
Member

Created by @mschwerhoff on 2018-10-12 13:46
Last updated on 2020-02-14 14:41

Affects at least test case all/heap-dependent_triggers/heapTriggersInhaleExhale.sil, but probably also tests ignored due to #255, e.g. all/heap-dependent_triggers/triggerFoldPackage.sil and all/heap-dependent_triggers/triggerWand.sil.
@viper-admin
Copy link
Member Author

@mschwerhoff commented on 2018-10-12 13:46

Potentially related: #252

@viper-admin
Copy link
Member Author

@alexanderjsummers on 2018-10-15 15:36:

@viper-admin
Copy link
Member Author

@mschwerhoff commented on 2020-02-14 14:41

Also affected: quantifiedpredicates/basic/partial_permissions.vpr

@viper-admin viper-admin added major bug Something isn't working labels Feb 20, 2020
@viper-admin viper-admin mentioned this issue Feb 20, 2020
Open
@marcoeilers marcoeilers mentioned this issue Jan 21, 2024
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alexanderjsummers alexanderjsummers

Labels
bug Something isn't working major
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@alexanderjsummers @viper-admin