in smt2parser/src/parser.rs [376:390]
fn test_echo() {
let value = parse_tokens(vec![
Token::LeftParen,
Token::Echo,
Token::String("foo".into()),
Token::RightParen,
])
.unwrap();
assert_eq!(
value,
Command::Echo {
message: "foo".into()
}
);
}