fn parse_clauses()

in smt2patch/src/lib.rs [36:44]

• 9 lines of code
• 3 McCabe index (conditional complexity)

fn parse_clauses(src: &str) -> HashSet<String> {
    let src = src.trim();
    let src = if src.starts_with('(') && src.ends_with(')') {
        &src[1..src.len() - 1].trim()
    } else {
        src
    };
    src.split(' ').map(String::from).collect()
}