pub fn air_test<VB, VC>(
builder: VB,
config: VC,
exe: impl Into<VmExe<BabyBear>>,
)where
VB: VmBuilder<TestStarkEngine, VmConfig = VC, RecordArena = TestRecordArena>,
VC: VmExecutionConfig<BabyBear> + VmCircuitConfig<BabyBearPoseidon2Config> + VmConfig<BabyBearPoseidon2Config>,
<VC as VmExecutionConfig<BabyBear>>::Executor: Executor<BabyBear> + MeteredExecutor<BabyBear> + PreflightExecutor<BabyBear, TestRecordArena>,