Merge pull request #8222 from tautschnig/cleanup/no-follow-goto-symex #41
| Job | Run time |
|---|---|
| 31m 53s | |
| 18m 36s | |
| 32m 2s | |
| 47m 40s | |
| 21m 45s | |
| 33m 12s | |
| 13m 25s | |
| 31m 10s | |
| 29m 55s | |
| 36m 12s | |
| 32m 2s | |
| 19m 57s | |
| 1h 8m 53s | |
| 2m 42s | |
| 47m 39s | |
| 1h 3m 29s | |
| 52m 54s | |
| 23m 3s | |
| 21m 48s | |
| 10h 28m 17s |