From 791334cced721789fad180b6479cfa783963032f Mon Sep 17 00:00:00 2001
From: azidar
Date: Tue, 5 May 2015 17:37:27 -0700
Subject: Added a bunch of tests. In the middle of implementing check kinds and
 check types. Does not compile

---
 test/errors/high-form/Unique.fir | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)
 create mode 100644 test/errors/high-form/Unique.fir

(limited to 'test/errors/high-form/Unique.fir')

diff --git a/test/errors/high-form/Unique.fir b/test/errors/high-form/Unique.fir
new file mode 100644
index 00000000..de95e6cd
--- /dev/null
+++ b/test/errors/high-form/Unique.fir
@@ -0,0 +1,16 @@
+; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s
+
+; CHECK: Reference x does not have a unique name.
+; CHECK: Reference p does not have a unique name.
+; CHECK-NOT: Reference q does not have a unique name.
+
+circuit Top :
+  module Top :
+    wire x : UInt<1>
+    wire x : UInt<2>
+    wire p : UInt<3>
+    wire q : UInt<3>
+    when p :
+       wire p : UInt<4>
+  module Other :
+     wire q : UInt<3>
-- 
cgit v1.2.3