1 files changed, 17 insertions, 1 deletions
diff --git a/src/test/scala/firrtlTests/ParserSpec.scala b/src/test/scala/firrtlTests/ParserSpec.scala
index ba61b134..5183a6f2 100644
--- a/src/test/scala/firrtlTests/ParserSpec.scala
+++ b/src/test/scala/firrtlTests/ParserSpec.scala
@@ -48,8 +48,11 @@ class ParserSpec extends FirrtlFlatSpec {
       "SInt",
       "Analog",
       "Fixed",
+      "Interval",
       "flip",
       "Clock",
+      "Reset",
+      "AsyncReset",
       "wire",
       "reg",
       "reset",
@@ -80,7 +83,11 @@ class ParserSpec extends FirrtlFlatSpec {
       "infer",
       "read",
       "write",
-      "rdwr"
+      "rdwr",
+      "attach",
+      "assert",
+      "assume",
+      "cover"
     ) ++ PrimOps.listing
   }
 
@@ -183,6 +190,15 @@ class ParserSpec extends FirrtlFlatSpec {
     }
   }
 
+  they should "be allowed as names for side effecting statements" in {
+    import KeywordTests._
+    keywords.foreach { keyword =>
+      firrtl.Parser.parse {
+        prelude :+ s"""    assert($keyword, UInt(1), UInt(1), "") : $keyword"""
+      }
+    }
+  }
+
   // ********** Digits as Fields **********
   "Digits" should "be legal fields in bundles and in subexpressions" in {
     val input = """