Changes

Using Clap's raw argument it is possible to feed any options and flags after the sequence -- directly to the klee CLI.

Example

$ cargo klee --bin test --verbose -- --emit-all-errors