diff --git a/tests/lean/run/cbv4.lean b/tests/elab/cbv4.lean
similarity index 100%
rename from tests/lean/run/cbv4.lean
rename to tests/elab/cbv4.lean
diff --git a/tests/lean/run/cbv_aes.lean b/tests/elab_bench/cbv_aes.lean
similarity index 100%
rename from tests/lean/run/cbv_aes.lean
rename to tests/elab_bench/cbv_aes.lean
diff --git a/tests/lean/run/cbv_arm_ldst.lean b/tests/elab_bench/cbv_arm_ldst.lean
similarity index 100%
rename from tests/lean/run/cbv_arm_ldst.lean
rename to tests/elab_bench/cbv_arm_ldst.lean