5 commits

Author	SHA1	Message	Date
nataliakokoromyti	2ded4bd893	Update run-test.sh ... fix: preserve newline at eof	2025-12-16 04:16:03 -08:00
Natalia	d4e0437cfd	Fix Verific run-test.mk setup	2025-11-24 15:56:28 -08:00
Krystine Sherwin	017524d7a2	tests/verific: Don't ASAN verific	2025-06-28 11:33:18 +12:00
Emil J. Tywoniak	6240aec433	test: restore verific handling, nicer naming	2024-12-13 10:24:47 +01:00
Miodrag Milanovic	53a4f0fb56	Add test example	2023-02-27 09:24:04 +01:00