Build and include kani-cov
in the bundle
#712
Job | Run time |
---|---|
16m 55s | |
27m 57s | |
44m 52s |
kani-cov
in the bundle
#712
Job | Run time |
---|---|
16m 55s | |
27m 57s | |
44m 52s |