Crate klee_rs

A safe KLEE API for Rust.

This crate works on both std and no_std environments. Not all KLEE functions have safe wrapper for them yet.

Functions

klee_abort	Abort the KLEE instance.
klee_assume	Assumes that the condition is true during KLEE runtime.
klee_make_symbolic	Makes the object var symbolic. name is the identifier of this object used by KLEE. Does not terminate the C string.