/test/
../
arm
lem
mono
ocaml
riscv
run_tests.sh
typecheck