Re: [PATCH v3 14/17] verification/rvgen: Add selftests for rvgen kunit

Gabriele Monaco [off-list ref] writes:

Well, I believe a compiler failure was indeed the original intent (that's kinda
what we do in rv_attach_trace_probe), to avoid unauthored monitors.

Anyway an unauthored monitor isn't as bad as a missing tracepoint, so probably I
could make the LTL template consistent with the others.

Unless Nam has concerns with that.

No. Go for it.

Nam