Do not allow too large verbatim strings, and check for EOF while reading. #377
Job | Run time |
---|---|
1m 3s | |
1m 22s | |
1m 5s | |
1m 12s | |
1m 19s | |
1m 12s | |
1m 17s | |
1m 4s | |
51s | |
48s | |
56s | |
45s | |
12m 54s |
Job | Run time |
---|---|
1m 3s | |
1m 22s | |
1m 5s | |
1m 12s | |
1m 19s | |
1m 12s | |
1m 17s | |
1m 4s | |
51s | |
48s | |
56s | |
45s | |
12m 54s |