Skip to main content

parse_model

foundry_evm_symbolic::runtime::solver

Function parse_model 

Source 
pub(crate) fn parse_model(
    output: &str,
) -> Result<BTreeMap<String, U256>, SymbolicError>
Expand description

Returns the parse_model solver helper result.