smt: include firrtl statement names in SMT and btor2 output (#2270)

* smt: include firrtl statement names in SMT and btor2 output

* smt: remove println

* smt: make tests run again and fix stale ones

Apparently `private` classes aren't found by th sbt test runner.

1 files changed, 0 insertions, 42 deletions

diff --git a/src/test/scala/firrtl/backends/experimental/smt/SMTBackendBaseSpec.scala b/src/test/scala/firrtl/backends/experimental/smt/SMTBackendBaseSpec.scala
deleted file mode 100644
index a82767ae..00000000
--- a/src/test/scala/firrtl/backends/experimental/smt/SMTBackendBaseSpec.scala
+++ /dev/null
@@ -1,42 +0,0 @@
-// SPDX-License-Identifier: Apache-2.0
-
-package firrtl.backends.experimental.smt
-
-import firrtl.annotations.Annotation
-import firrtl.{ir, MemoryInitValue}
-import firrtl.stage.{Forms, TransformManager}
-import org.scalatest.flatspec.AnyFlatSpec
-
-private abstract class SMTBackendBaseSpec extends AnyFlatSpec {
-  private val dependencies = Forms.LowForm
-  private val compiler = new TransformManager(dependencies)
-
-  protected def compile(src: String, annos: Seq[Annotation] = List()): ir.Circuit = {
-    val c = firrtl.Parser.parse(src)
-    compiler.runTransform(firrtl.CircuitState(c, annos)).circuit
-  }
-
-  protected def toSys(
-    src:        String,
-    mod:        String = "m",
-    presetRegs: Set[String] = Set(),
-    memInit:    Map[String, MemoryInitValue] = Map()
-  ): TransitionSystem = {
-    val circuit = compile(src)
-    val module = circuit.modules.find(_.name == mod).get.asInstanceOf[ir.Module]
-    // println(module.serialize)
-    new ModuleToTransitionSystem().run(module, presetRegs = presetRegs, memInit = memInit)
-  }
-
-  protected def toBotr2(src: String, mod: String = "m"): Iterable[String] =
-    Btor2Serializer.serialize(toSys(src, mod))
-
-  protected def toBotr2Str(src: String, mod: String = "m"): String =
-    toBotr2(src, mod).mkString("\n") + "\n"
-
-  protected def toSMTLib(src: String, mod: String = "m"): Iterable[String] =
-    SMTTransitionSystemEncoder.encode(toSys(src, mod)).map(SMTLibSerializer.serialize)
-
-  protected def toSMTLibStr(src: String, mod: String = "m"): String =
-    toSMTLib(src, mod).mkString("\n") + "\n"
-}