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

Nam Cao <[email protected]>
Newsgroups org.kernel.vger.linux-trace-kernel,org.kernel.vger.linux-kernel
Message-ID <[email protected]> 
Gabriele Monaco <[email protected]> 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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.