<!-- If this is a security issue, please report it following the [security reporting procedure](https://github.com/model-checking/kani/security/policy). --> <!-- Thank you for filing a bug report! 🐛 Please provide a short summary of the issue, along with the information necessary to replicate. --> I tried using the following command line invocation: ``` kani list -h ``` with Kani version: 0.56.0 I expected to see this happen: Just a few options to show up Instead, this happened: Options such as `--unwind`, `--cbmc-args`, `--concrete-playback`, and so on show up as possible arguments.
I tried using the following command line invocation:
with Kani version: 0.56.0
I expected to see this happen: Just a few options to show up
Instead, this happened: Options such as
--unwind,--cbmc-args,--concrete-playback, and so on show up as possible arguments.