From b629e234e94c24ca04273b3322ce9200df873ce2 Mon Sep 17 00:00:00 2001
From: Kevin Laeufer
Date: Tue, 10 Aug 2021 11:29:35 -0700
Subject: [smt] make SMTLib + Btor2 emitters public objects (#2326)

This will make it easier for formal verification
libraries to make use of these emitters.---
 .../firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala    | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/test')

diff --git a/src/test/scala/firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala b/src/test/scala/firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala
index dc425149..38e616ae 100644
--- a/src/test/scala/firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala
+++ b/src/test/scala/firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala
@@ -146,8 +146,8 @@ abstract class EndToEndSMTBaseSpec extends AnyFlatSpec with Matchers {
       Array(),
       Seq(
         LogLevelAnnotation(LogLevel.Error), // silence warnings for tests
-        RunFirrtlTransformAnnotation(new SMTLibEmitter),
-        RunFirrtlTransformAnnotation(new Btor2Emitter),
+        RunFirrtlTransformAnnotation(Dependency(SMTLibEmitter)),
+        RunFirrtlTransformAnnotation(Dependency(Btor2Emitter)),
         FirrtlCircuitAnnotation(fir),
         TargetDirAnnotation(testDir.toString)
       ) ++ presetAnno ++ annos
-- 
cgit v1.2.3