Gilles Peskine
0827d5c07d
Timing self test: print some diagnosis information
...
Print some not-very-nice-looking but helpful diagnosis information if
the timing selftest fails. Since the failures tend to be due to heavy
system load that's hard to reproduce, this information is necessary to
understand what's going on.
2017-12-20 19:22:30 +01:00
..
2015-06-25 10:59:56 +02:00
2017-07-27 21:44:33 +01:00
2016-05-23 14:29:28 +01:00
2016-05-23 14:29:32 +01:00
2016-10-13 13:54:14 +01:00
2016-08-25 15:42:27 +01:00
2017-02-15 23:31:07 +02:00
2017-06-08 19:48:03 +02:00
2016-05-23 14:29:32 +01:00
2016-06-07 14:52:35 +01:00
2016-05-23 14:29:32 +01:00
2017-07-27 21:44:33 +01:00
2015-09-04 14:21:07 +02:00
2017-02-15 23:31:07 +02:00
2017-07-28 22:28:08 +01:00
2017-08-10 11:51:16 +01:00
2017-02-15 23:31:07 +02:00
2017-02-15 09:08:26 +00:00
2016-05-23 14:29:32 +01:00
2017-07-27 21:44:33 +01:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2015-10-20 16:20:56 +02:00
2017-05-11 22:42:14 +01:00
2017-07-27 21:44:33 +01:00
2016-06-12 00:31:33 +01:00
2017-07-28 22:28:08 +01:00
2017-07-06 11:58:41 +02:00
2017-07-27 21:44:33 +01:00
2016-05-23 23:18:26 +01:00
2015-09-04 14:21:07 +02:00
2016-10-13 13:51:09 +01:00
2017-02-15 23:31:07 +02:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2015-09-04 14:21:07 +02:00
2016-05-23 14:29:29 +01:00
2017-02-15 09:08:26 +00:00
2016-09-04 15:14:38 +01:00
2015-09-04 14:21:07 +02:00
2017-02-15 22:54:42 +02:00
2017-05-11 21:55:17 +01:00
2017-05-11 21:55:17 +01:00
2016-08-25 16:36:35 +01:00
2015-09-04 14:21:07 +02:00
2016-05-23 14:29:28 +01:00
2017-02-15 09:08:26 +00:00
2015-10-21 12:50:45 +02:00
2017-07-27 21:44:33 +01:00
2016-08-25 16:36:35 +01:00
2017-06-08 20:31:06 +02:00
2016-05-23 14:29:32 +01:00
2016-10-13 15:10:14 +01:00
2016-10-13 15:10:14 +01:00
2017-07-28 23:46:43 +01:00
2017-07-27 21:44:33 +01:00
2017-09-30 23:35:21 +01:00
2017-03-02 12:26:11 +00:00
2017-06-06 20:11:36 +02:00
2016-07-13 14:46:18 +01:00
2017-09-30 23:35:21 +01:00
2017-07-27 21:44:32 +01:00
2017-12-20 19:22:30 +01:00
2017-07-27 21:44:33 +01:00
2015-09-04 14:21:07 +02:00
2015-10-21 12:50:45 +02:00
2017-07-27 21:44:34 +01:00
2017-07-27 21:44:34 +01:00
2017-07-27 21:44:34 +01:00
2017-07-28 22:28:08 +01:00
2017-07-28 22:28:08 +01:00
2016-10-11 14:07:48 +01:00
2015-09-04 14:21:07 +02:00