Enable the remaining tests for cc64r

CTSRD-CHERI · Jan 28, 2025 · dccb0bc · dccb0bc
1 parent 678ba01
commit dccb0bc
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -204,7 +204,7 @@ endfunction()
 
 function(add_cc_tests _format)
     add_cc_tests_target(${_format} simple_test)
-    if (NOT _format STREQUAL "256" AND NOT _format STREQUAL "64r")
+    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_64r.cpp b/test/random_inputs_test_64r.cpp
@@ -0,0 +1 @@
+#include "random_inputs_test_common.cpp"
diff --git a/test/setbounds_test_64r.cpp b/test/setbounds_test_64r.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"