RFC: Print Kani version #4801
Job | Run time |
---|---|
23m 38s | |
37m 37s | |
31m 56s | |
38m 35s | |
6m 44s | |
1h 14m 20s | |
36m 50s | |
10m 47s | |
36m 9s | |
18m 48s | |
5h 15m 24s |
Job | Run time |
---|---|
23m 38s | |
37m 37s | |
31m 56s | |
38m 35s | |
6m 44s | |
1h 14m 20s | |
36m 50s | |
10m 47s | |
36m 9s | |
18m 48s | |
5h 15m 24s |