Skip to main content

flussab_btor2/
lib.rs

1//! Parsing and writing of the BTOR2 file format.
2#![warn(missing_docs)]
3
4pub mod btor2;
5
6mod error;
7mod parser;
8mod token;
9
10pub use parser::{Config, Parser};
11
12pub use error::{InnerParseError, ParseError};
13
14#[cfg(test)]
15mod tests;