pub fn summarize_logos(source: &str) -> Result<SymSummary, TvError>Expand description
Parse source and symbolically execute it into a SymSummary over the LOGOS
semantics. Does not run the optimizer (the source-of-truth side).
pub fn summarize_logos(source: &str) -> Result<SymSummary, TvError>Parse source and symbolically execute it into a SymSummary over the LOGOS
semantics. Does not run the optimizer (the source-of-truth side).