Skip to main content

collect_vars_from_bounded_pub

logicaffeine_compile::codegen_sva::sva_to_verify

Function collect_vars_from_bounded_pub 

Source 
pub fn collect_vars_from_bounded_pub(
    expr: &BoundedExpr,
    vars: &mut HashSet<String>,
)
Expand description

Public wrapper for collect_vars_from_bounded (for testing).