fixes for build with z3 (#340) #577
Job | Run time |
---|---|
3m 32s | |
13m 43s | |
2m 5s | |
2m 34s | |
9m 51s | |
11m 38s | |
27m 39s | |
4m 35s | |
9m 46s | |
10m 18s | |
1h 35m 41s |
Job | Run time |
---|---|
3m 32s | |
13m 43s | |
2m 5s | |
2m 34s | |
9m 51s | |
11m 38s | |
27m 39s | |
4m 35s | |
9m 46s | |
10m 18s | |
1h 35m 41s |