in z3tracer/src/lexer.rs [462:488]
fn test_ident_from_str() {
use std::str::FromStr;
assert_eq!(
Ident::from_str("#123").unwrap(),
Ident {
namespace: None,
id: Some(123),
version: 0,
}
);
assert_eq!(
Ident::from_str("foo#123").unwrap(),
Ident {
namespace: Some("foo".to_string()),
id: Some(123),
version: 0,
}
);
assert_eq!(
Ident::from_str("foo#").unwrap(),
Ident {
namespace: Some("foo".to_string()),
id: None,
version: 0,
}
);
}