air_test_with_min_segments

openvm_circuit::utils

Function air_test_with_min_segments 

Source 
pub fn air_test_with_min_segments<VB, VC>(
    builder: VB,
    config: VC,
    exe: impl Into<VmExe<BabyBear>>,
    input: impl Into<Streams<BabyBear>>,
    min_segments: usize,
) -> Option<MemoryImage>
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>,
Expand description

Executes and proves the VM and returns the final memory state.