From 8ad5f2b18109300e2aa5d3927066a964e1b71741 Mon Sep 17 00:00:00 2001
From: David Harris <david_harris@hmc.edu>
Date: Thu, 9 Feb 2023 18:25:24 -0800
Subject: [PATCH] Added RVTEST_CASE to testgen header

---
 tests/testgen/testgen_header.S | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/tests/testgen/testgen_header.S b/tests/testgen/testgen_header.S
index 44a74f5d..a93e5af1 100644
--- a/tests/testgen/testgen_header.S
+++ b/tests/testgen/testgen_header.S
@@ -14,4 +14,7 @@ rvtest_entry_point:
 RVMODEL_BOOT
 RVTEST_CODE_BEGIN
 
+RVTEST_CASE(0,"//check ISA:=regex(.*64.*);check ISA:=regex(.*I.*);def TEST_CASE_1=True;",temp)
+
+
 RVTEST_SIGBASE( x6, wally_signature)