Nikita Popov
fa67864c13
Use MIN/MAX when dumping RANGE[]
...
It's very common that one of the bounds is LONG_MIN or LONG_MAX.
Dump them as MIN/MAX instead of the int representation in that
case, as it makes the dump less noisy.
2020-11-20 16:47:46 +01:00
..
2020-10-19 15:13:53 +02:00
2020-09-18 11:03:08 +02:00
2019-02-05 10:33:28 +03:00
2020-09-18 11:03:08 +02:00
2020-10-07 15:23:17 +03:00
2020-03-17 15:23:52 +01:00
2019-02-05 10:33:28 +03:00
2020-07-31 15:53:36 +02:00
2020-01-16 09:46:47 +01:00
2020-07-24 10:05:03 +02:00
2020-01-16 19:14:31 +01:00
2020-08-28 15:41:27 +02:00
2019-12-12 09:39:52 +01:00
2020-06-16 18:39:09 +02:00
2020-11-09 17:08:38 +01:00
2020-07-31 15:53:36 +02:00
2020-07-31 15:53:36 +02:00
2020-09-18 11:03:08 +02:00
2020-04-19 10:03:49 -04:00
2020-03-14 01:17:45 +03:00
2020-03-13 22:11:07 +03:00
2020-11-20 16:47:46 +01:00
2020-03-25 14:26:42 +03:00
2020-09-22 15:12:05 +02:00
2020-09-29 13:05:24 +03:00
2020-11-16 18:17:05 +03:00
2020-10-13 00:18:17 +03:00
2020-05-19 11:15:54 +02:00
2020-11-17 10:20:23 +01:00
2019-10-03 02:18:16 +03:00
2020-11-09 17:08:38 +01:00
2020-09-10 02:20:15 +03:00
2019-02-05 10:33:28 +03:00