crackers-0.6.2
- crackers 0.6.2
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- toolCHAINZ
- Dependencies
- anyhow ^1.0 normal optional
  
  clap ^4.0 normal optional
  
  colored ^3.0 normal
  
  derive_builder ^0.20 normal
  
  jingle ^0.3.2 normal
  
  object ^0.37.2 normal
  
  pyo3 ^0 normal optional
  
  rand ^0.9.2 normal
  
  serde ^1.0.203 normal
  
  thiserror ^2.0 normal
  
  toml_edit ^0.23.5 normal optional
  
  tracing ^0.1 normal
  
  tracing-indicatif ^0.3 normal optional
  
  tracing-subscriber ^0.3 normal optional
  
  z3 ^0.19.0 normal
- Versions
- 6.52% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

assert_concat

crackers0.6.2

In crackers::synthesis::pcode_theory::pcode_assignment

crackers::synthesis::pcode_theory::pcode_assignment

Function assert_concat

pub fn assert_concat<T: ModelingContext>(
    items: &[T],
) -> Result<Bool, CrackersError>