miden-processor 0.19.1

Miden VM processor
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

use miden_core::mast::MastForest;

use crate::{AdviceInputs, DefaultHost, ExecutionOptions, Kernel, Operation, Process, StackInputs};

// Check that process returns an error if a maximum number of cycles is exceeded.
#[test]
fn cycles_num_exceeded() {
    let stack = StackInputs::default();
    let mut host = DefaultHost::default();
    let program = &MastForest::default();

    let mut process = Process::new(
        Kernel::default(),
        stack,
        AdviceInputs::default(),
        ExecutionOptions::new(Some(64), 64, false, false).unwrap(),
    );
    for _ in 0..64 {
        process.execute_op(Operation::Noop, program, &mut host).unwrap();
    }
    assert!(process.execute_op(Operation::Noop, program, &mut host).is_err());
}