Nyall Dawson
e2bd17f3c9
Split processing test files into multiple batches
...
There's two motivations for this:
- the existing one was getting massive and took ages to run, which was
a pain when developing. Smaller batches allow just a subset of test to
be run which is much faster.
- There's a random segfault on test exit which occurs on Travis. Rather
then disabling these absolutely critical tests altogether, I'm using
this as a method of bisecting exactly which alg is causing this.
2019-05-09 14:04:30 +10:00
..
2019-04-10 08:06:12 +07:00
2019-05-03 13:43:15 +02:00
2018-08-15 14:01:59 +10:00
2018-08-09 09:18:54 +10:00
2016-11-24 07:52:53 +10:00
2016-11-24 07:52:53 +10:00
2016-10-11 11:57:04 +03:00
2016-08-02 11:52:37 +10:00
2016-08-02 11:52:37 +10:00
2018-08-21 14:28:42 +10:00
2018-08-21 14:28:42 +10:00
2019-01-25 09:57:31 +11:00
2018-07-24 03:56:10 +10:00
2019-04-27 10:37:43 +02:00
2019-01-31 15:54:08 +02:00
2017-01-09 18:25:05 +01:00
2017-01-09 18:25:05 +01:00
2018-05-01 06:16:01 +10:00
2018-05-01 06:16:01 +10:00
2018-05-01 06:16:01 +10:00
2018-05-01 06:16:01 +10:00
2018-05-01 06:16:01 +10:00
2018-05-01 06:16:01 +10:00
2018-07-24 03:56:10 +10:00
2018-07-24 03:56:10 +10:00
2018-07-24 03:56:10 +10:00
2018-07-24 03:56:10 +10:00
2018-07-24 03:56:10 +10:00
2018-07-24 03:56:10 +10:00
2016-08-02 11:51:44 +10:00
2016-08-02 11:51:44 +10:00
2016-08-10 15:41:44 +10:00
2016-08-10 15:41:44 +10:00
2019-02-23 05:20:17 +10:00
2016-10-11 09:30:46 +10:00
2016-10-11 09:30:46 +10:00
2016-11-12 13:31:44 +02:00
2016-11-12 13:31:44 +02:00
2018-08-09 12:02:22 +10:00
2018-08-08 05:54:44 +10:00
2016-10-19 16:43:05 +03:00
2016-10-19 16:43:05 +03:00
2019-01-25 10:30:08 +01:00
2016-03-16 14:17:08 +01:00
2016-03-16 14:17:08 +01:00
2019-05-09 14:04:30 +10:00
2019-05-09 14:04:30 +10:00
2019-05-09 14:04:30 +10:00
2019-05-09 14:04:30 +10:00
2018-06-09 18:15:00 +10:00
2016-09-14 15:55:14 +03:00
2016-12-13 10:46:34 +02:00
2016-12-13 10:46:34 +02:00
2019-02-01 21:06:16 +11:00
2017-06-27 11:12:20 +10:00
2016-09-01 08:22:18 +10:00
2016-09-01 08:22:18 +10:00
2016-11-07 12:20:59 +10:00
2016-11-07 12:20:59 +10:00
2016-11-07 12:20:59 +10:00
2016-11-07 12:20:59 +10:00
2016-11-07 12:20:59 +10:00
2016-11-07 12:20:59 +10:00
2018-03-02 21:01:12 +07:00
2018-03-02 11:58:16 +07:00
2018-05-03 11:36:16 +07:00
2018-05-03 11:36:16 +07:00