tree c3c66b623b432d868259dd8ffd92dbce50f14b3b
parent bb5e72e7fdf0d812a97a361545479f276bb841ab
author Michael Schaffner <msf@opentitan.org> 1640279222 -0800
committer Michael Schaffner <msf@google.com> 1641932230 -0800

[reggen] Ensure that countermeasure names are unique

Signed-off-by: Michael Schaffner <msf@opentitan.org>