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

[Nam Cao]

Gabriele Monaco <gmonaco@xxxxxxxxxx> 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