Use goto-analyzer to add assumptions, assertions and code contracts #8913
| Job | Run time |
|---|---|
| 6m 7s | |
| 4m 37s | |
| 5m 5s | |
| 6m 12s | |
| 5m 19s | |
| 3m 24s | |
| 4m 30s | |
| 6m 8s | |
| 5m 39s | |
| 2m 43s | |
| 3m 56s | |
| 3m 23s | |
| 29m 29s | |
| 19m 13s | |
| 3m 20s | |
| 8m 29s | |
| 8m 28s | |
| 29m 47s | |
| 31m 36s | |
| 3h 7m 25s |
| Job | Run time |
|---|---|
| 6m 7s | |
| 4m 37s | |
| 5m 5s | |
| 6m 12s | |
| 5m 19s | |
| 3m 24s | |
| 4m 30s | |
| 6m 8s | |
| 5m 39s | |
| 2m 43s | |
| 3m 56s | |
| 3m 23s | |
| 29m 29s | |
| 19m 13s | |
| 3m 20s | |
| 8m 29s | |
| 8m 28s | |
| 29m 47s | |
| 31m 36s | |
| 3h 7m 25s |