Use the clap derive API for the command line arguments of `kani-com…
#149
| Job | Run time |
|---|---|
| 2m 33s | |
| 2m 33s |
derive API for the command line arguments of `kani-com…
#149
| Job | Run time |
|---|---|
| 2m 33s | |
| 2m 33s |