# Examples on `cargo-klee` usage

## Install

Clone the [cargo-klee](https://gitlab.henriktjader.com/pln/cargo-klee).

Follow install instructions.

## Examples

- `examples/get_sign.rs`, same simple example again but now using the `cargo klee` cargo sub-command. The example also uses `klee-sys` bindings.