tree 8b571118b5079ea88053ddd46ec8060fcbbc9a62
parent 465f8939c4fae38dff384cb0d0a032508862b593
author Michael Schaffner <msf@google.com> 1669685768 -0800
committer Michael Schaffner <msf@google.com> 1669763924 -0800

[prim_mubi*_sync] Remove explicit mux prim to improve coverage

See #16586

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