[PATCH 1/2] Add rdrand/rdseed record/replay tests

[Luis Machado]

On 02/01/2017 09:37 AM, Pedro Alves wrote:
> On 02/01/2017 12:55 PM, Luis Machado wrote:
>
>> Here's the updated version of the tests patch.
>
> OK.
>
> Thanks,
> Pedro Alves
>
>

Thanks, pushed as 20b477a75c00de06a92b9577fd74416699d2c37f.