Manuel Pégourié-Gonnard
9b8d34edd4
Avoid superflous randomization with restartable
...
Checking the budget only after the randomization is done means sometimes we
were randomizing first, then noticing we ran out of budget, return, come back
and randomize again before we finally normalize.
While this is fine from a correctness and security perspective, it's a minor
inefficiency, and can also be disconcerting while debugging, so we might as
well avoid it.
Signed-off-by: Manuel Pégourié-Gonnard <manuel.pegourie-gonnard@arm.com >
2020-06-08 09:53:20 +02:00
..
2015-06-25 10:59:56 +02:00
2020-04-22 16:01:48 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2020-02-03 10:39:55 +00:00
2019-12-19 10:24:22 +00:00
2019-08-15 15:44:50 +01:00
2020-04-22 16:01:48 +02:00
2019-08-15 15:44:50 +01:00
2019-08-15 15:44:50 +01:00
2019-12-03 16:07:18 +00:00
2020-03-19 13:36:33 +01:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2020-01-21 15:02:14 +01:00
2020-04-22 16:01:48 +02:00
2020-04-29 17:14:48 +01:00
2020-03-24 22:57:11 +01:00
2020-01-15 15:55:11 +00:00
2020-04-22 16:01:48 +02:00
2019-09-04 10:11:45 +01:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2020-01-24 12:11:56 +01:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2020-06-08 09:53:20 +02:00
2020-05-20 18:14:45 +00:00
2019-12-19 10:24:22 +00:00
2020-05-25 12:23:55 +02:00
2020-01-15 15:55:11 +00:00
2019-08-15 15:44:50 +01:00
2020-04-02 19:54:51 +02:00
2019-12-03 16:07:18 +00:00
2020-04-17 11:57:50 +02:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2020-04-20 13:56:09 +03:00
2019-08-15 15:44:50 +01:00
2020-05-20 18:14:45 +00:00
2019-12-03 16:07:18 +00:00
2020-04-22 16:01:48 +02:00
2019-08-15 15:44:50 +01:00
2019-12-03 16:07:18 +00:00
2020-01-31 10:15:32 +01:00
2020-01-31 10:15:32 +01:00
2019-12-03 16:07:18 +00:00
2020-03-19 13:36:33 +01:00
2019-12-03 16:07:18 +00:00
2020-02-18 10:31:29 +01:00
2020-01-31 10:24:21 +01:00
2019-09-04 11:31:35 +01:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2019-08-08 10:58:09 +02:00
2018-11-23 22:58:38 +01:00
2019-07-23 17:30:37 +01:00
2020-05-11 11:15:26 +02:00
2020-05-11 11:15:26 +02:00
2019-02-19 15:09:14 +02:00
2019-10-08 15:57:27 +02:00
2019-08-08 10:58:09 +02:00
2020-01-31 10:24:21 +01:00
2019-07-31 14:15:27 +02:00
2020-05-05 12:41:48 +01:00
2019-09-05 09:34:34 -04:00
2019-12-03 16:07:18 +00:00
2019-08-15 15:44:50 +01:00
2020-01-28 14:43:52 -05:00
2019-12-03 16:07:18 +00:00
2019-12-03 16:07:18 +00:00
2020-01-29 09:46:49 +01:00
2020-03-19 13:36:33 +01:00
2020-03-23 17:55:32 +01:00
2020-04-09 12:17:11 +02:00
2020-03-19 13:36:33 +01:00
2020-06-04 13:33:08 +01:00
2020-04-22 09:31:00 +02:00
2020-03-19 13:36:33 +01:00
2020-05-28 10:32:23 +01:00
2019-08-15 15:44:50 +01:00
2020-05-20 18:14:45 +00:00
2020-06-08 09:09:20 +02:00
2016-11-04 23:05:56 +01:00
2020-03-19 13:36:33 +01:00
2020-03-19 13:36:33 +01:00
2020-04-27 18:01:08 +03:00
2020-03-19 13:36:33 +01:00
2020-05-21 01:56:55 +09:00
2020-03-19 13:36:33 +01:00
2020-03-19 13:36:33 +01:00
2019-08-15 15:44:50 +01:00