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/NegUInt.fir | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 test/errors/high-form/NegUInt.fir

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

diff --git a/test/errors/high-form/NegUInt.fir b/test/errors/high-form/NegUInt.fir
new file mode 100644
index 00000000..a92da633
--- /dev/null
+++ b/test/errors/high-form/NegUInt.fir
@@ -0,0 +1,7 @@
+; RUN: firrtl -i %s -o %s.flo -x X -p c | tee %s.out | FileCheck %s
+; CHECK: UIntValue cannot be negative.
+
+circuit Top :
+  module Top :
+    wire x : UInt<4>
+    x := UInt(-2)
-- 
cgit v1.2.3