monster-rs-0.4.1
- monster-rs 0.4.1
- Permalink
- Docs.rs crate page
- MIT
- Links
- Homepage
- Documentation
- Repository
- Crates.io
- Source
- Owners
- ChristianMoesl
- Dependencies
- anyhow ~1.0 normal
  boolector ~0.4 normal
  boolector-sys ~0 normal
  byteorder ~1.4 normal
  bytesize ~1.0 normal
  clap ~2.33 normal
  const_format ~0.2 normal
  divisors ~0.2 normal
  env_logger ~0.8 normal
  itertools ~0.10 normal
  lazy_static ~1.4 normal
  libc ~0 normal
  log ~0.4 normal
  modinverse ~0.1 normal
  petgraph ~0.5 normal
  rand ~0.8 normal
  riscu ~0.5 normal
  strum ~0.21 normal
  thiserror ~1.0 normal
  z3 ~0.10 normal
  z3-sys ~0 normal
  cargo-husky ^1 dev
  criterion ~0.3 dev
  rayon ~1.5 dev
  tempfile ~3.2 dev
- Versions
- 5.58% of the crate is documented
Platform
Feature flags

Rust

☰

Other items in
monster

Function monster::symbolically_execute[−][src]

pub fn symbolically_execute(
    program: &Program
) -> Result<Option<SymbolicExecutionBug>, MonsterError>