pub fn extract_signals(expr: &VerifyExpr) -> Vec<String>Expand description
Extract unique signal names from a VerifyExpr by collecting Var references and stripping the @timestep suffix.
pub fn extract_signals(expr: &VerifyExpr) -> Vec<String>Extract unique signal names from a VerifyExpr by collecting Var references and stripping the @timestep suffix.