tree b32a70734720ca69c7c9aba59148bee5d93639c3
parent 54d69324670e5589fada24e67fa0c5c96cd2aa21
author Michael Schaffner <msf@opentitan.org> 1595985081 -0700
committer Michael Schaffner <msf@google.com> 1596510789 -0700

[lint/dv] Create lint targets for testbench environments

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