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(
9        "expected number of cycles {expected_cycles} must be smaller than the maximum number of cycles {max_cycles}"
10    )]
11    ExpectedCyclesTooBig { max_cycles: u32, expected_cycles: u32 },
12    #[error(
13        "maximum number of cycles {0} must be greater than the minimum number of cycles {MIN_TRACE_LEN}"
14    )]
15    MaxCycleNumTooSmall(u32),
16}