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
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