miden_air/errors.rs
1use crate::trace::MIN_TRACE_LEN;
2
3// EXECUTION OPTIONS ERROR
4// ================================================================================================
5
6#[derive(Debug, thiserror::Error)]
7pub enum ExecutionOptionsError {
8 #[error("expected number of cycles {expected_cycles} must be smaller than the maximum number of cycles {max_cycles}")]
9 ExpectedCyclesTooBig { max_cycles: u32, expected_cycles: u32 },
10 #[error("maximum number of cycles {0} must be greater than the minimum number of cycles {MIN_TRACE_LEN}")]
11 MaxCycleNumTooSmall(u32),
12}