Enable the remaining tests for the new RISC-V format

CTSRD-CHERI · Jan 11, 2025 · 3255a7b · 3255a7b
1 parent 9e30061
commit 3255a7b
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -76,6 +76,7 @@ if (HAVE_WUNDEF)
     add_compile_options(-Werror=undef)
 endif()
 
+
 # TODO: -Weverything
 add_library(cheri_compressed_cap14 cheri_compressed_cap.c cheri_compressed_cap.h)
 
@@ -201,7 +202,7 @@ endfunction()
 
 function(add_cc_tests _format)
     add_cc_tests_target(${_format} simple_test)
-    if (NOT _format STREQUAL "256" AND NOT _format STREQUAL "128r")
+    if (NOT _format STREQUAL "256")
         add_cc_tests_target(${_format} setbounds_test)
         add_cc_tests_target(${_format} random_inputs_test)
     endif()

diff --git a/test/random_inputs_test_128r.cpp b/test/random_inputs_test_128r.cpp
@@ -0,0 +1 @@
+#include "random_inputs_test_common.cpp"
diff --git a/test/setbounds_test_128r.cpp b/test/setbounds_test_128r.cpp
@@ -0,0 +1,3 @@
+// TODO: Generate test cases from sail
+
+#include "setbounds_test_common.cpp"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,3 @@
		// TODO: Generate test cases from sail

		#include "setbounds_test_common.cpp"