carbon icon indicating copy to clipboard operation
carbon copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Heap-dependent triggers not yet fully supported

Open viper-admin opened this issue 6 years ago • 3 comments

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 https://github.com/viperproject/carbon/issues/255, e.g. all/heap-dependent_triggers/triggerFoldPackage.sil and all/heap-dependent_triggers/triggerWand.sil.

viper-admin avatar Oct 12 '18 13:10 viper-admin

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

Potentially related: https://github.com/viperproject/carbon/issues/252

viper-admin avatar Oct 12 '18 13:10 viper-admin

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

  • changed the assignee from (none) to @alexanderjsummers

viper-admin avatar Oct 15 '18 15:10 viper-admin

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

Also affected: quantifiedpredicates/basic/partial_permissions.vpr

viper-admin avatar Feb 14 '20 14:02 viper-admin