John Ogness <[email protected]> writes: > On 2026-10-19, Nam Cao <[email protected]> wrote: >> John Ogness <[email protected]> writes: >>> @namcao: Maybe you could chime in if you want the transitions as events. >> >> No. Those are only useful for debugging RV itself and do not need to be >> upstream. > > Sure, but debugging RV itself _is_ a use case. Especially when RV moves > to eBPF and lots of people will start writing their own RV monitors.
Right. I wouldn't enable those by default though, it's way too much noises. As it's for debugging the model, we can have some sort of compile-time switch to turn it on. Nam
