tree 685bf57b57a7b18a640f180e3322e7a2fa56969c
parent 624ee410c4a9dd164eb2f04a1ae2ea843c2ceec3
author Jacob Levy <jacob.levy@opentitan.org> 1631914808 +0300
committer tjaychen <timothytim@google.com> 1632159407 -0700

[ast] Add missing ASSERT Known on new outputs

Signed-off-by: Jacob Levy <jacob.levy@opentitan.org>