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 /build.sbt | |
| 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 'build.sbt')
| -rw-r--r-- | build.sbt | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -191,6 +191,7 @@ lazy val core = (project in file("core")). ProblemFilters.exclude[DirectMissingMethodProblem]("chisel3.VerificationStatement.forceName"), ProblemFilters.exclude[DirectMissingMethodProblem]("chisel3.experimental.BaseModule._computeName"), ProblemFilters.exclude[DirectMissingMethodProblem]("chisel3.experimental.BaseModule.forceName"), + ProblemFilters.exclude[DirectMissingMethodProblem]("chisel3.VerificationStatement.failureMessage"), ) ). settings( |