tests: conditionalize candperms ~gl

CHERIoT-Platform · Jan 13, 2025 · cfcbeb8 · cfcbeb8
1 parent 0a58f8f
commit cfcbeb8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tests/misc-test.cc b/tests/misc-test.cc
@@ -268,6 +268,7 @@ void check_sealed_scoping()
 	           o.permissions().without(Permission::Global),
 	           "Loading global sealed cap through non-LoadGlobal bad perms");
 
+#ifndef CHERIOT_NO_SAIL_83
 	/*
 	 * Use CAndPerm to shed Global from our o cap.
 	 * Spell this a little oddly to make sure we get CAndPerm with a mask of
@@ -278,6 +279,7 @@ void check_sealed_scoping()
 	oLocal2.without_permissions(Permission::Global);
 
 	TEST_EQUAL(oLocal2, OLocal1, "CAndPerm ~GL gone wrong");
+#endif
 }
 
 int test_misc()