1use std::io::Write;
2
3use flussab::DeferredWriter;
4
5use flussab_btor2::{ParseError, Parser};
6
7fn main() {
8 if let Err(err) = main_err() {
9 eprintln!("error: {err}");
10 }
11}
12
13fn main_err() -> Result<(), ParseError> {
14 let stdin = std::io::stdin();
15 let stdout = std::io::stdout();
16
17 let mut parser = Parser::from_read(stdin, Default::default())?;
18 let mut target = DeferredWriter::from_write(stdout);
19
20 while let Some(line) = parser.next_line()? {
21 line.write_into(&mut target);
22 }
23 target.flush()?;
24
25 Ok(())
26}