libpatron-0.17.3
- libpatron 0.17.3
- Permalink
- Docs.rs crate page
- BSD-3-Clause
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- ekiwi
- Dependencies
- codespan-reporting ^0.11.1 normal
  easy-smt ^0.2.1 normal
  fuzzy-matcher ^0.3.7 normal
  indexmap ^2.0.0 normal
  lazy_static ^1.4.0 normal
  num-bigint ^0.4.4 normal
  num-integer ^0.1.45 normal
  num-traits ^0.2.17 normal
  rand ^0.8.5 normal
  rand_xoshiro ^0.6.0 normal
  smallvec ^1.11.2 normal
  string-interner ^0.14.0 normal
  clap ^4.4.8 dev
  insta ^1.34.0 dev
- Versions
- 14.94% of the crate is documented
Platform
Feature flags

docs.rs

Rust

check_assuming_end

libpatron0.17.3

In libpatron::mc

Function check_assuming_end

pub fn check_assuming_end(
    smt_ctx: &mut Context,
    solver: &SmtSolverCmd,
) -> Result<()>