diff options
| author | Kevin Laeufer | 2021-08-10 11:29:35 -0700 |
|---|---|---|
| committer | GitHub | 2021-08-10 18:29:35 +0000 |
| commit | b629e234e94c24ca04273b3322ce9200df873ce2 (patch) | |
| tree | 4680c5e089a45179772b81ff9d43a00cb8301491 /src/test/scala | |
| parent | 78ae5e4ae9b35678d25328accb3beda8c28d3d4d (diff) | |
[smt] make SMTLib + Btor2 emitters public objects (#2326)
This will make it easier for formal verification
libraries to make use of these emitters.
Diffstat (limited to 'src/test/scala')
| -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 |