lib: migrate Requalify tests into test/

Stops namespace pollution, allows us to use Arch locale as example. Signed-off-by: Rafal Kolanski <[email protected]>
seL4 · Jul 11, 2024 · 8386cb8 · 8386cb8
1 parent 0b33592
commit 8386cb8
Show file tree

Hide file tree

Showing 3 changed files with 386 additions and 377 deletions.
diff --git a/lib/ROOT b/lib/ROOT
@@ -127,6 +127,7 @@ session LibTest (lib) in test = Refine +
     Named_Eta_Test
     Rules_Tac_Test
     MonadicRewrite_Test
+    Requalify_Test
   (* use virtual memory function as an example, only makes sense on ARM: *)
   theories [condition = "L4V_ARCH_IS_ARM"]
     CorresK_Test