Index of /github/model-checking/kani/tests/cargo-ui/target-selection/

../
all-targets/                                       04-Aug-2023 22:55                   -
bin-target/                                        04-Aug-2023 22:55                   -
bins-target/                                       04-Aug-2023 22:55                   -
lib-target/                                        04-Aug-2023 22:55                   -
non-test-targets/                                  04-Aug-2023 22:55                   -
src/                                               04-Aug-2023 22:55                   -
tests/                                             04-Aug-2023 22:55                   -