Add test cases for illegal casts to AsyncReset / Clock

1 files changed, 22 insertions, 0 deletions

diff --git a/src/test/scala/firrtlTests/WidthSpec.scala b/src/test/scala/firrtlTests/WidthSpec.scala
index 4d04ed66..4b0bc5e5 100644
--- a/src/test/scala/firrtlTests/WidthSpec.scala
+++ b/src/test/scala/firrtlTests/WidthSpec.scala
@@ -68,6 +68,28 @@ class WidthSpec extends FirrtlFlatSpec {
     }
   }
 
+  "Casting a multi-bit signal to Clock" should "result in error" in {
+    val input =
+      s"""circuit Unit :
+         |  module Unit :
+         |    input i: UInt<2>
+         |    node x = asClock(i)""".stripMargin
+    intercept[CheckWidths.MultiBitAsClock] {
+        executeTest(input, Nil, inferAndCheckPasses)
+    }
+  }
+
+  "Casting a multi-bit signal to AsyncReset" should "result in error" in {
+    val input =
+      s"""circuit Unit :
+         |  module Unit :
+         |    input i: UInt<2>
+         |    node x = asAsyncReset(i)""".stripMargin
+    intercept[CheckWidths.MultiBitAsAsyncReset] {
+        executeTest(input, Nil, inferAndCheckPasses)
+    }
+  }
+
   "Width >= MaxWidth" should "result in an error" in {
     val input =
      s"""circuit Unit :