tree 4b8edf8d1e32b33d68d129454a3ff411f15073c1
parent c8b67888e094683aad743696cf673b56d95caa09
author Guillermo Maturana <maturana@google.com> 1646117352 -0800
committer Matute <maturana@google.com> 1646262171 -0800

[dv/rstmgr] Simplify reset checking

Minor coverage tuning for reset_req mubi.

Signed-off-by: Guillermo Maturana <maturana@google.com>