kani-cov
: A coverage tool for Kani
#2748
Job | Run time |
---|---|
20m 40s | |
9m 4s | |
5m 50s | |
1m 51s | |
2m 28s | |
56s | |
1m 22s | |
37s | |
43s | |
1m 10s | |
0s | |
0s | |
44m 41s |
kani-cov
: A coverage tool for Kani
#2748
Job | Run time |
---|---|
20m 40s | |
9m 4s | |
5m 50s | |
1m 51s | |
2m 28s | |
56s | |
1m 22s | |
37s | |
43s | |
1m 10s | |
0s | |
0s | |
44m 41s |