tree 8e656c4e2dfe4795fcac3156e79271d57231774a
parent 32ab9b3b285a6016e6326fe1a9a4eea2e589b3a0
author Michael Schaffner <msf@google.com> 1665014375 -0700
committer Michael Schaffner <msf@google.com> 1665106619 -0700

[prim_mubi] Fix sampling issue in MUBI sync assertions

Fix #15234

Signed-off-by: Michael Schaffner <msf@google.com>