klee-rs
| Crates.io | klee-rs |
| lib.rs | klee-rs |
| version | 0.1.1 |
| source | src |
| created_at | 2021-04-13 08:43:15.605741 |
| updated_at | 2021-06-21 07:06:47.998501 |
| description | A safe KLEE API for Rust |
| homepage | |
| repository | https://github.com/markhakansson/klee-rs |
| max_upload_size | |
| id | 382770 |
| size | 19,925 |
Mark Hakansson (markhakansson)
documentation
README
klee-rs
Provides a safe API for interfacing with KLEE.
This crate is a safe wrapper on the klee-bindings output. It does not require the standard library
and can be used for both stdand no_std environments.
Refer to the official KLEE documentation for how to use it.
Requirements
- KLEE v2+
License
Licensed under either of
- Apache License, Version 2.0 (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
- MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT)
at your option.
Contributing
Issues and pull requests are welcomed! See CONTRIBUTING.md.