improved testing of #line handling (#505)
#1203
| Job | Run time |
|---|---|
| 46s | |
| 2m 44s | |
| 54s | |
| 1m 45s | |
| 45s | |
| 2m 56s | |
| 40s | |
| 10m 30s |
#line handling (#505)
#1203
| Job | Run time |
|---|---|
| 46s | |
| 2m 44s | |
| 54s | |
| 1m 45s | |
| 45s | |
| 2m 56s | |
| 40s | |
| 10m 30s |