Only 1 VPI callback can be stored per variable object #679
Labels
resolution: fixed
Closed; fixed
type: feature-IEEE
Request to add new feature, described in IEEE 1800
Author Name: Rich Porter
Original Redmine Issue: 679 from https://www.veripool.org
Original Date: 2013-09-27
Original Assignee: Rich Porter
VPI callbacks are stored as a 'set' against variable objects, this allows only 1 callback per variable object. Adding another callback overwrites the existing.
I can't find any constraint in the LRM that suggests there should be only 1, nor does icarus seems to have such a limitation.
I've got a candidate patch which I'll tidy up if you think this is an issue. The patch is simple, unless there's something else I'm missing.
The text was updated successfully, but these errors were encountered: