Skip to main content

constrained_byte

foundry_evm_symbolic::executor::calls

Function constrained_byte 

Source 
fn constrained_byte(
    cx: &mut SymCx,
    state: &PathState,
    byte: &SymExpr,
) -> Option<u8>