diff options
| author | mergify[bot] | 2022-08-15 20:37:55 +0000 |
|---|---|---|
| committer | GitHub | 2022-08-15 20:37:55 +0000 |
| commit | 29702d7dd10a9eb7595a102bfffcee665bcf7394 (patch) | |
| tree | 0f42007fe7952dabae91632733166c53a25a8fda /plugin/src | |
| parent | c4dec947d54a52c3092bd7855180d42afaae3776 (diff) | |
Printables for verification preconditions (backport #2663) (#2680)
* Printables for verification preconditions (#2663)
Add support for printable within assert and assume verification statements
Co-authored-by: Girish Pai <girish.pai@sifive.com>
Co-authored-by: Megan Wachs <megan@sifive.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
(cherry picked from commit 7df5653309b5e48e1732b335610d9a7e8449f903)
* Waive MiMa false positive
Co-authored-by: Aditya Naik <91489422+adkian-sifive@users.noreply.github.com>
Co-authored-by: Jack Koenig <koenig@sifive.com>
Diffstat (limited to 'plugin/src')
0 files changed, 0 insertions, 0 deletions