public-mirrors/linux
1
0
Fork 0
mirror of git://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git synced 2025-08-05 16:54:27 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
linux/tools/verification/rvgen
History
Exact
Gabriele Monaco 58d5f0d437 rv: Return init error when registering monitors 
Monitors generated with dot2k have their registration function (the one
called during monitor initialisation) return always 0, even if the
registration failed on RV side.
This can hide potential errors.

Return the value returned by the RV register function.

Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Tomas Glozar <tglozar@redhat.com>
Cc: Juri Lelli <jlelli@redhat.com>
Cc: Clark Williams <williams@redhat.com>
Cc: John Kacur <jkacur@redhat.com>
Link: https://lore.kernel.org/20250723161240.194860-6-gmonaco@redhat.com
Reviewed-by: Nam Cao <namcao@linutronix.de>
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
2025-07-24 10:43:46 -04:00
..
rvgen rv: Return init error when registering monitors 2025-07-24 10:43:46 -04:00
.gitignore verification/rvgen: Add support for linear temporal logic 2025-07-24 10:42:47 -04:00
__main__.py verification/rvgen: Add support for linear temporal logic 2025-07-24 10:42:47 -04:00
dot2c
Makefile verification/rvgen: Add support for linear temporal logic 2025-07-24 10:42:47 -04:00