search

rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

static monitor for no property #49

Open rgrig opened 7 years ago

rgrig commented 7 years ago

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