From 9ff8ca7d3f4f71b1e42a136d1465da43baf7085b Mon Sep 17 00:00:00 2001 From: mergify[bot] Date: Tue, 19 Apr 2022 00:22:50 +0000 Subject: verification: switch order of assert/assume and printf (#2484) (#2493) This is a quick fix for issue #2408 (cherry picked from commit d4ef9a96c4131252a0a49002a28be3391eb67258) Co-authored-by: Kevin Laeufer --- core/src/main/scala/chisel3/VerificationStatement.scala | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/core/src/main/scala/chisel3/VerificationStatement.scala b/core/src/main/scala/chisel3/VerificationStatement.scala index bfdfc26e..7229c412 100644 --- a/core/src/main/scala/chisel3/VerificationStatement.scala +++ b/core/src/main/scala/chisel3/VerificationStatement.scala @@ -92,8 +92,8 @@ object assert { ): Assert = { val id = new Assert() when(!Module.reset.asBool()) { - Builder.pushCommand(Verification(id, Formal.Assert, sourceInfo, Module.clock.ref, cond.ref, "")) failureMessage("Assertion", line, cond, message, data) + Builder.pushCommand(Verification(id, Formal.Assert, sourceInfo, Module.clock.ref, cond.ref, "")) } id } @@ -178,8 +178,8 @@ object assume { ): Assume = { val id = new Assume() when(!Module.reset.asBool()) { - Builder.pushCommand(Verification(id, Formal.Assume, sourceInfo, Module.clock.ref, cond.ref, "")) failureMessage("Assumption", line, cond, message, data) + Builder.pushCommand(Verification(id, Formal.Assume, sourceInfo, Module.clock.ref, cond.ref, "")) } id } -- cgit v1.2.3