btor2tools-sys-1.1.0
- btor2tools-sys 1.1.0
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ChristianMoesl
- Dependencies
- bindgen ~0.68.0 build
  copy_dir ~0.1.2 build
- Versions
- 0.67% of the crate is documented
Platform
- aarch64-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

btor2parser_max_id

btor2tools_sys1.1.0

Function btor2parser_max_id

pub unsafe extern "C" fn btor2parser_max_id(
    arg1: *mut Btor2Parser,
) -> i64