Gabriele Monaco <[email protected]> writes: > The special per-object monitor type was just introduced in RV, this > requires the user to define some functions and type specific to the > object. > > Adapt rvgen to add stub definitions for the monitor_target type, the > da_get_id() function and other modifications required to create > per-object monitors. > > Signed-off-by: Gabriele Monaco <[email protected]>
Reviewed-by: Nam Cao <[email protected]>
