Expand description
Parsing and writing of the BTOR2 file format.
Modules§
- btor2
- Types for representing BTOR2.
Structs§
Enums§
- Inner
Parse Error - Either a
SyntaxErroror anio::Error.
Type Aliases§
- Parse
Error - Boxed version of
InnerParseError.
Parsing and writing of the BTOR2 file format.
SyntaxError or an io::Error.InnerParseError.