diff options
| author | mergify[bot] | 2022-06-02 18:06:03 +0000 |
|---|---|---|
| committer | GitHub | 2022-06-02 18:06:03 +0000 |
| commit | 5bec54e535dca53c9347caddb0b395c4651a0919 (patch) | |
| tree | ea9b4e534b19be7385a14d00ab434f23b54f648f /core/src/main | |
| parent | 97fde23f666a560d4eba9333e4230f901d7f5361 (diff) | |
Support VerificationStatement in the naming plugin (#2555) (#2557)
Previously, verification statements (assert, assume, cover, and printf)
were only named via reflection.
(cherry picked from commit 7fa2691f670813eef4ec59fc27c4e4f625d598de)
Co-authored-by: Jack Koenig <koenig@sifive.com>
Diffstat (limited to 'core/src/main')
0 files changed, 0 insertions, 0 deletions