Gabriele Monaco ab0304fd69 verification/rvgen: Use .old instead of .bak for kunit backup files ... The rvgen kunit command generates .bak backup files and these can be checked in for selftests (make check). Clean targets like make disclean remove such files, leaving the tree dirty. Switch to .old to preserve a clean tree after make disclean. Reported-by: Kuan-Wei Chiu <visitorckw@gmail.com> Closes: https://lore.kernel.org/lkml/aosuwKH5GOEo0xTN@google.com Fixes: 7b6246294e ("verification/rvgen: Add selftests for rvgen kunit") Reviewed-by: Nam Cao <namcao@linutronix.de> Tested-by: Kuan-Wei Chiu <visitorckw@gmail.com> Link: https://lore.kernel.org/r/20260824081519.81103-2-gmonaco@redhat.com Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>		2026-08-25 13:56:53 +02:00
..
rvgen	verification/rvgen: Use .old instead of .bak for kunit backup files	2026-08-25 13:56:53 +02:00
tests	verification/rvgen: Use .old instead of .bak for kunit backup files	2026-08-25 13:56:53 +02:00
__main__.py	verification/rvgen: Add the rvgen kunit subcommand	2026-07-31 16:27:45 +02:00
.gitignore	verification/rvgen: Add support for linear temporal logic	2025-07-24 10:42:47 -04:00
dot2c	rv/rvgen: remove unused sys import from dot2c	2026-04-01 10:16:19 +02:00
Makefile	verification/rvgen: Add the rvgen kunit subcommand	2026-07-31 16:27:45 +02:00