fn test_var_name_from_str()

in z3tracer/src/lexer.rs [491:514]

• 24 lines of code
• 1 McCabe index (conditional complexity)

fn test_var_name_from_str() {
    use std::str::FromStr;
    assert_eq!(
        VarName::from_str("(a;b)").unwrap(),
        VarName {
            name: Symbol("a".to_string()),
            sort: Symbol("b".to_string()),
        }
    );
    assert_eq!(
        VarName::from_str("(|a | ; b) ").unwrap(),
        VarName {
            name: Symbol("a ".to_string()),
            sort: Symbol("b".to_string()),
        }
    );
    assert_eq!(
        VarName::from_str("(|a| ; |b|)").unwrap(),
        VarName {
            name: Symbol("a".to_string()),
            sort: Symbol("b".to_string()),
        }
    );
}