tree ba712222f47da7aceb2a2f0e1cdce2afbae45a3a
parent 4c12800dd80134b666ebe418888efd56498dd8fc
author David Gross <dgross@google.com> 1638921102 -0800
committer David Gross <dgross@google.com> 1639011351 -0800

FL7: Refine REVERSE specification

Test: N/A

Bug: 202280925

Change-Id: Iae1f177254023c750c701e6594a61f3958de538c