From eacb82e5f3171b8f395e3b9ed586eae9633c712f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Wojciech=20R=C3=B3=C5=BCowski?= Date: Wed, 4 Mar 2026 15:53:05 +0000 Subject: [PATCH] test: move cbv tests to appropriate directories (#12791) This PR moves cbv tests to the correct test directories. `cbv4.lean` is a straightforward elaboration test and is moved to `tests/elab/`. The AES and ARM load/store tests are performance-oriented stress tests and are moved to `tests/elab_bench/`. Co-authored-by: Claude Opus 4.6 --- tests/{lean/run => elab}/cbv4.lean | 0 tests/{lean/run => elab_bench}/cbv_aes.lean | 0 tests/{lean/run => elab_bench}/cbv_arm_ldst.lean | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename tests/{lean/run => elab}/cbv4.lean (100%) rename tests/{lean/run => elab_bench}/cbv_aes.lean (100%) rename tests/{lean/run => elab_bench}/cbv_arm_ldst.lean (100%) 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