miden_air/
errors.rs

1// EXECUTION OPTIONS ERROR
2// ================================================================================================
3
4#[derive(Debug, thiserror::Error)]
5pub enum ExecutionOptionsError {
6    #[error(
7        "expected number of cycles {expected_cycles} must be smaller than the maximum number of cycles {max_cycles}"
8    )]
9    ExpectedCyclesTooBig { max_cycles: u32, expected_cycles: u32 },
10    #[error("maximum number of cycles {max_cycles} must be greater than {min_cycles_limit}")]
11    MaxCycleNumTooSmall { max_cycles: u32, min_cycles_limit: usize },
12    #[error("maximum number of cycles {max_cycles} must be less than {max_cycles_limit}")]
13    MaxCycleNumTooBig { max_cycles: u32, max_cycles_limit: u32 },
14}