klee-rs 0.1.1

A safe KLEE API for Rust

Coverage
100%
4 out of 4 items documented0 out of 3 items with examples
Size
Source code size: 19.92 kB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 109.34 kB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 8s Average build duration of successful builds.
all releases: 8s Average build duration of successful builds in releases after 2024-10-23.
Links
markhakansson/klee-rs
3 0 1
crates.io
Dependencies
- cty ^0.2.1 normal
Versions
- 0.1.1 (2021-06-21)
- 0.1.0 (2021-04-13)
Owners

`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.