cargo-klee merge requestshttps://gitlab.henriktjader.com/pln/cargo-klee/-/merge_requests2021-02-12T09:14:22Zhttps://gitlab.henriktjader.com/pln/cargo-klee/-/merge_requests/1Add an option to set all klee CLI flags/options2021-02-12T09:14:22ZMark HakanssonAdd an option to set all klee CLI flags/options# 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
```# 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
```