rgrig/topl

static monitor for no property

Opened this issue · 0 comments

rgrig commented

It fails (vbkzp) with assertion when generating static monitor for 0 properties. Should be very easy to fix.