improved testing of #line handling
#1132
| Job | Run time |
|---|---|
| 4m 43s | |
| 2m 3s | |
| 1m 16s | |
| 2m 5s | |
| 3m 11s | |
| 1m 53s | |
| 15m 11s |
#line handling
#1132
| Job | Run time |
|---|---|
| 4m 43s | |
| 2m 3s | |
| 1m 16s | |
| 2m 5s | |
| 3m 11s | |
| 1m 53s | |
| 15m 11s |