diff options
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/scala/firrtl/backends/experimental/smt/end2end/EndToEndSMTSpec.scala | 4 |
1 files changed, 2 insertions, 2 deletions
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 |