Skip to main content

parse_and_validate_model

foundry_evm_symbolic::runtime::solver

Function parse_and_validate_model 

Source 
pub(crate) fn parse_and_validate_model(
    cx: &SymCx,
    output: &str,
    constraints: &[SymBoolExpr],
) -> Result<HashMap<Symbol, U256>, SymbolicError>