Index of /github/model-checking/kani/tests/kani-docs/src/getting-started/verification-results/

../
src/                                               04-Aug-2023 22:55                   -
Cargo.toml                                         04-Aug-2023 22:55                 233
failure_example.expected                           04-Aug-2023 22:55                  57
success_example.expected                           04-Aug-2023 22:55                  51
undetermined_example.expected                      04-Aug-2023 22:55                  54
unreachable_example.expected                       04-Aug-2023 22:55                  52