Index of /github/model-checking/kani-vscode-extension/resources/screenshots/

../
first.png                                          04-Aug-2023 22:55             1150229
generate-counter-example.gif                       04-Aug-2023 22:55              689885
generate-report.png                                04-Aug-2023 22:55             1343560
install-kani-extension.png                         04-Aug-2023 22:55              488879
kani-demo.png                                      04-Aug-2023 22:55             1083029
run-proof.gif                                      04-Aug-2023 22:55              641286
second.png                                         04-Aug-2023 22:55             1302624
show-debugging.gif                                 04-Aug-2023 22:55              368164
third.png                                          04-Aug-2023 22:55             1770464
verification-error.png                             04-Aug-2023 22:55             1150595
view-output.png                                    04-Aug-2023 22:55             2465081
view-report.png                                    04-Aug-2023 22:55             1294718