Skip to content

Commit

Permalink
lib: migrate Requalify tests into test/
Browse files Browse the repository at this point in the history
Stops namespace pollution, allows us to use Arch locale as example.

Signed-off-by: Rafal Kolanski <[email protected]>
  • Loading branch information
Xaphiosis committed Jul 23, 2024
1 parent b1a9a70 commit bc948e3
Show file tree
Hide file tree
Showing 3 changed files with 386 additions and 377 deletions.
1 change: 1 addition & 0 deletions lib/ROOT
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down
Loading

0 comments on commit bc948e3

Please sign in to comment.