diff options
| author | Kevin Laeufer | 2020-07-07 16:09:39 -0700 |
|---|---|---|
| committer | GitHub | 2020-07-07 23:09:39 +0000 |
| commit | 26564304e028a015bdcb9f1a6889f7847a3a5140 (patch) | |
| tree | be6a5f584fdb6fd0c81a80793b86cb5e67551e0f /benchmark | |
| parent | 95bb2f66d34b40163c84c9c2893da50bd989e02f (diff) | |
verification: emit mesage as Verilog comment (#1712)
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
Diffstat (limited to 'benchmark')
0 files changed, 0 insertions, 0 deletions