carbon icon indicating copy to clipboard operation
carbon copied to clipboard

Published 20 hours ago • verified publisher icon viperproject

Heap dependent triggers are instantiating more than expected

Open viper-admin opened this issue 5 years ago • 1 comments

Created by @alexanderjsummers on 2019-08-16 15:49 Last updated on 2019-08-19 13:15

Heap dependent triggers test file seems to observe more instantiations than expected, causing the following test to fail:

all/functions//heap_dependent_triggers.vpr

viper-admin avatar Aug 16 '19 15:08 viper-admin

@alexanderjsummers on 2019-08-19 13:15:

  • edited the description

viper-admin avatar Aug 19 '19 13:08 viper-admin