Heap-dependent triggers not yet fully supported

[viper-admin]

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]

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

Potentially related: #252

[viper-admin]

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

• changed the assignee from (none) to @alexanderjsummers

[viper-admin]

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

Also affected: quantifiedpredicates/basic/partial_permissions.vpr