kani-cov
: A coverage tool for Kani
#8364
Job | Run time |
---|---|
30m 32s | |
5m 25s | |
1h 13m 5s | |
15m 59s | |
28m 54s | |
28m 20s | |
2m 6s | |
23m 8s | |
3h 27m 29s |
kani-cov
: A coverage tool for Kani
#8364
Job | Run time |
---|---|
30m 32s | |
5m 25s | |
1h 13m 5s | |
15m 59s | |
28m 54s | |
28m 20s | |
2m 6s | |
23m 8s | |
3h 27m 29s |