improved testing of #line handling
#1134
| Job | Run time |
|---|---|
| 2m 12s | |
| 2m 35s | |
| 1m 42s | |
| 2m 37s | |
| 1m 31s | |
| 1m 19s | |
| 11m 56s |
#line handling
#1134
| Job | Run time |
|---|---|
| 2m 12s | |
| 2m 35s | |
| 1m 42s | |
| 2m 37s | |
| 1m 31s | |
| 1m 19s | |
| 11m 56s |