[Draft] kani-cov
: A coverage tool for Kani
#8309
Job | Run time |
---|---|
5m 20s | |
2m 15s | |
35m 15s | |
23m 54s | |
23m 52s | |
17m 26s | |
23m 41s | |
23m 34s | |
2h 35m 17s |
kani-cov
: A coverage tool for Kani
#8309
Job | Run time |
---|---|
5m 20s | |
2m 15s | |
35m 15s | |
23m 54s | |
23m 52s | |
17m 26s | |
23m 41s | |
23m 34s | |
2h 35m 17s |