From 29702d7dd10a9eb7595a102bfffcee665bcf7394 Mon Sep 17 00:00:00 2001 From: mergify[bot] Date: Mon, 15 Aug 2022 20:37:55 +0000 Subject: 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 Co-authored-by: Megan Wachs Co-authored-by: Jack Koenig (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 --- build.sbt | 1 + 1 file changed, 1 insertion(+) (limited to 'build.sbt') diff --git a/build.sbt b/build.sbt index fb9ca94b..b64132fc 100644 --- a/build.sbt +++ b/build.sbt @@ -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( -- cgit v1.2.3