builtin: remove string interpolation from panic/1, to be able to use tools like cbmc in more cases #1639
| Job | Run time |
|---|---|
| 1m 50s | |
| 52s | |
| 3m 21s | |
| 2m 36s | |
| 2m 36s | |
| 1m 5s | |
| 3m 17s | |
| 2m 53s | |
| 18m 30s |
| Job | Run time |
|---|---|
| 1m 50s | |
| 52s | |
| 3m 21s | |
| 2m 36s | |
| 2m 36s | |
| 1m 5s | |
| 3m 17s | |
| 2m 53s | |
| 18m 30s |