| commit | e1ffe1afaa1de24dd07283accab6e9ecf91f580f | [log] [tgz] |
|---|---|---|
| author | Dwight Guth <dwight.guth@runtimeverification.com> | Fri Dec 13 17:30:52 2019 -0600 |
| committer | Tina Müller <cpan2@tinita.de> | Fri Dec 20 20:38:46 2019 +0100 |
| tree | 818cbd99ead0427608e66de68b3d2c2f341d02b1 | |
| parent | f1ab37df447dccad6032485ff08c2d3beb6251f1 [diff] |
increase size of index, line, and column fields (#310) * increase size of index, line, and column fields * use size_t instead of unsigned long long * better test infrastructure for test for large file * only run large file test when env var is set * fix review comments regarding env vars * fix missing import on python 3 * force all tests in CI