/test/

• ../
• arm
• builtins
• c
• cheri
• coq
• isabelle
• lem
• mono
• ocaml
• riscv
• run_tests.sh
• typecheck