| #
2c3b4c24 |
|
25-Jul-2019 |
Japheth Lim <Japheth.Lim@data61.csiro.au> |
CamkesCdlRefine, Lib: add debug tag for integrity policy
This tags each generated policy goal with the object and cap that
led to that goal.
We create a new constant `generic_tag` in Lib for this purpose.
|