Thread (25 messages) 25 messages, 5 authors, 2025-08-21

Re: [PATCH v2 3/5] verification/rvgen/ltl: Support per-cpu monitor generation

From: Nam Cao <hidden>
Date: 2025-08-08 06:30:45
Also in: lkml

Gabriele Monaco [off-list ref] writes:
Mind I don't say you should change the value passed to ltl_target_init
nor change your logic, I only mean /online/ isn't the right word here.

Does this make more sense?
Yes, thanks for the elaboration!

Nam
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help