Skip to main content

sym_add

foundry_evm_symbolic::runtime::expressions

Function sym_add 

Source 
pub(crate) fn sym_add(left: SymWord, right: SymWord) -> SymWord
Expand description

Implements the sym_add symbolic expression helper.