Struct VmChipTestBuilder 

pub struct VmChipTestBuilder<F: Field> {
    pub memory: MemoryTester<F>,
    pub streams: Streams<F>,
    pub rng: StdRng,
    pub execution: ExecutionTester<F>,
    pub program: ProgramTester<F>,
    /* private fields */
}

Fields

memory: MemoryTester<F>

streams: Streams<F>

rng: StdRng

execution: ExecutionTester<F>

program: ProgramTester<F>

Implementations

impl<F: PrimeField32> VmChipTestBuilder<F>

pub fn new( controller: MemoryController<F>, memory: TracingMemory, streams: Streams<F>, rng: StdRng, execution_bus: ExecutionBus, program_bus: ProgramBus, internal_rng: StdRng, ) -> Self

pub fn set_num_public_values(&mut self, num_public_values: usize)

pub fn system_port(&self) -> SystemPort

pub fn execution_bridge(&self) -> ExecutionBridge

pub fn execution_bus(&self) -> ExecutionBus

pub fn program_bus(&self) -> ProgramBus

pub fn memory_bus(&self) -> MemoryBus

pub fn range_checker(&self) -> SharedVariableRangeCheckerChip

pub fn memory_bridge(&self) -> MemoryBridge

pub fn memory_helper(&self) -> SharedMemoryHelper<F>

impl VmChipTestBuilder<BabyBear>

pub fn build(self) -> VmChipTester<TestSC>

pub fn build_babybear_poseidon2(self) -> VmChipTester<BabyBearPoseidon2Config>

impl<F: PrimeField32> VmChipTestBuilder<F>

pub fn default_persistent() -> Self

pub fn default_native() -> Self

pub fn persistent(mem_config: MemoryConfig) -> Self

pub fn volatile(mem_config: MemoryConfig) -> Self

Trait Implementations

impl<F: PrimeField32> Default for VmChipTestBuilder<F>

fn default() -> Self

Returns the “default value” for a type.

impl<F> TestBuilder<F> for VmChipTestBuilder<F>

where F: PrimeField32,

fn execute<E, RA>( &mut self, executor: &mut E, arena: &mut RA, instruction: &Instruction<F>, )

where E: PreflightExecutor<F, RA>, RA: Arena,

fn execute_with_pc<E, RA>( &mut self, executor: &mut E, arena: &mut RA, instruction: &Instruction<F>, initial_pc: u32, )

where E: PreflightExecutor<F, RA>, RA: Arena,

fn read<const N: usize>( &mut self, address_space: usize, pointer: usize, ) -> [F; N]

fn write<const N: usize>( &mut self, address_space: usize, pointer: usize, value: [F; N], )

fn write_usize<const N: usize>( &mut self, address_space: usize, pointer: usize, value: [usize; N], )

fn write_cell(&mut self, address_space: usize, pointer: usize, value: F)

fn read_cell(&mut self, address_space: usize, pointer: usize) -> F

fn address_bits(&self) -> usize

fn last_to_pc(&self) -> F

fn last_from_pc(&self) -> F

fn execution_final_state(&self) -> ExecutionState<F>

fn streams_mut(&mut self) -> &mut Streams<F>

fn get_default_register(&mut self, increment: usize) -> usize

fn get_default_pointer(&mut self, increment: usize) -> usize

fn write_heap_pointer_default( &mut self, reg_increment: usize, pointer_increment: usize, ) -> (usize, usize)

fn write_heap_default<const NUM_LIMBS: usize>( &mut self, reg_increment: usize, pointer_increment: usize, writes: Vec<[F; NUM_LIMBS]>, ) -> (usize, usize)