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.