Replace hooks with a Kani intrinsics module #632
Job | Run time |
---|---|
7m 56s | |
37m 26s | |
36m 24s | |
26m 37s | |
17m 15s | |
37m 5s | |
37m 57s | |
11m 31s | |
28m 27s | |
4h 0m 38s |
Job | Run time |
---|---|
7m 56s | |
37m 26s | |
36m 24s | |
26m 37s | |
17m 15s | |
37m 5s | |
37m 57s | |
11m 31s | |
28m 27s | |
4h 0m 38s |