in z3tracer/src/lexer.rs [148:164]
fn read_word(&mut self) -> RawResult<String> {
let mut bytes = Vec::new();
while let Some(c) = self.peek_byte() {
let c = *c;
if c == b' ' {
self.consume_byte();
self.skip_spaces();
break;
}
if c == b'\n' || c == b'#' || c == b';' || c == b'(' || c == b')' {
break;
}
bytes.push(c);
self.consume_byte();
}
String::from_utf8(bytes).map_err(RawError::InvalidUtf8String)
}