diff options
| author | Pavel Dovgalyuk <pavel.dovgalyuk@ispras.ru> | 2021-02-03 09:00:12 +0300 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2021-02-08 15:15:32 +0100 |
| commit | 54550d886e5bb4148c0765c639fa04a44f3e5d8d (patch) | |
| tree | fbcbd3a5bf8b270cb629ebeb6224aa99db7598ff /.github | |
| parent | 4b956a399969c0c497a48ba469b7c674b0eb51bd (diff) | |
replay: rng-builtin support
This patch enables using rng-builtin with record/replay
by making the callbacks deterministic.
Signed-off-by: Pavel Dovgalyuk <Pavel.Dovgalyuk@ispras.ru>
Message-Id: <161233201286.170686.7858208964037376305.stgit@pasha-ThinkPad-X280>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions