DRY check chirrtl (#1148)

* Avoid redundancy between CheckChirrtl and CheckHighForm, add more checks

* Add test case for illegal Chirrtl memory in HighForm

1 files changed, 0 insertions, 46 deletions

diff --git a/src/test/scala/firrtlTests/InternalErrorSpec.scala b/src/test/scala/firrtlTests/InternalErrorSpec.scala
deleted file mode 100644
index 85c9c67d..00000000
--- a/src/test/scala/firrtlTests/InternalErrorSpec.scala
+++ /dev/null
@@ -1,46 +0,0 @@
-// See LICENSE for license details.
-
-package firrtlTests
-
-import java.io.File
-
-import firrtl._
-import firrtl.Utils.getThrowable
-import firrtl.util.BackendCompilationUtilities
-import org.scalatest.{FreeSpec, Matchers}
-
-
-class InternalErrorSpec extends FreeSpec with Matchers with BackendCompilationUtilities {
-  "Unexpected exceptions" - {
-    val input =
-      """
-        |circuit Dummy :
-        |  module Dummy :
-        |    input clock : Clock
-        |    input x : UInt<1>
-        |    output y : UInt<1>
-        |    output io : { flip in : UInt<16>, out : UInt<16> }
-        |    y <= shr(x, UInt(1)); this should generate an exception in PrimOps.scala:127.
-        |      """.stripMargin
-
-    var exception: Exception = null
-    "should throw a FIRRTLException" in {
-      val manager = new ExecutionOptionsManager("test") with HasFirrtlOptions {
-        commonOptions = CommonOptions(topName = "Dummy")
-        firrtlOptions = FirrtlExecutionOptions(firrtlSource = Some(input), compilerName = "low")
-      }
-      exception = intercept[FIRRTLException] {
-        firrtl.Driver.execute(manager)
-      }
-    }
-
-    "should contain the expected string" in {
-      assert(exception.getMessage.contains("Internal Error! Please file an issue"))
-    }
-
-    "should contain the name of the file originating the exception in the stack trace" in {
-      val first = true
-      assert(getThrowable(Some(exception), first).getStackTrace exists (_.getFileName.contains("PrimOps.scala")))
-    }
-  }
-}