klee-bindings
| Crates.io | klee-bindings |
| lib.rs | klee-bindings |
| version | 0.1.0 |
| created_at | 2021-04-13 07:48:37.887845+00 |
| updated_at | 2021-04-13 07:48:37.887845+00 |
| description | Raw bindings to the KLEE library using bindgen |
| homepage | |
| repository | https://github.com/markhakansson/klee-bindings |
| max_upload_size | |
| id | 382729 |
| size | 6,231 |
Mark Hakansson (markhakansson)
documentation
README
klee-bindings
Raw Rust bindings to KLEE
NOTE klee-bindings does not rely on the standard library and requires the cty crate for both std and no_std environments.
License
Licensed under MIT. See LICENSE.
Contributing
See CONTRIBUTING.md.