in smt2parser/src/lexer.rs [186:199]
fn skip_comment(&mut self) -> bool {
match self.peek_byte() {
Some(c) if *c == b';' => {
self.consume_byte();
while let Some(c) = self.read_byte() {
if c == b'\n' {
break;
}
}
true
}
_ => false,
}
}