klee-rs-0.1.1
- klee-rs 0.1.1
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Repository
- Crates.io
- Source
- Owners
- markhakansson
- Dependencies
- cty ^0.2.1 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

Rust

☰

Other items in
klee_rs

Function klee_rs::klee_abort[−][src]

pub fn klee_abort()

Expand description

Abort the KLEE instance.