in smt2parser/src/lib.rs [165:181]
fn test_command_stream_invalid_token() {
let input = b"(echo \"Hello world!\")(exit \000)";
let builder = concrete::SyntaxBuilder::default();
let stream = CommandStream::new(&input[..], builder, None);
let commands = stream.collect::<Vec<_>>();
assert!(matches!(
commands[..],
[
Ok(concrete::Command::Echo { .. }),
Err(concrete::Error::ParsingError(..)),
]
));
assert_eq!(
commands[0].as_ref().unwrap().to_string(),
"(echo \"Hello world!\")"
);
}