pub fn execute(
stmts: &[Stmt<'_>],
interner: &Interner,
) -> Result<SymSummary, Unsupported>Expand description
Symbolically execute a program (a sequence of statements) into a SymSummary.
pub fn execute(
stmts: &[Stmt<'_>],
interner: &Interner,
) -> Result<SymSummary, Unsupported>Symbolically execute a program (a sequence of statements) into a SymSummary.