From 3dade9a48f059e3eecc7048bcd1cd1db48cdb56a Mon Sep 17 00:00:00 2001
From: Henry Cook
Date: Fri, 14 Aug 2015 14:28:56 -0700
Subject: more tests

---
 src/test/scala/chiselTests/UInt.scala | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)
 create mode 100644 src/test/scala/chiselTests/UInt.scala

(limited to 'src/test/scala/chiselTests/UInt.scala')

diff --git a/src/test/scala/chiselTests/UInt.scala b/src/test/scala/chiselTests/UInt.scala
new file mode 100644
index 00000000..8885c71f
--- /dev/null
+++ b/src/test/scala/chiselTests/UInt.scala
@@ -0,0 +1,32 @@
+package chiselTests
+
+import Chisel._
+import org.scalatest._
+import org.scalatest.prop._
+import Chisel.testers.BasicTester
+
+class GoodBoolConversion extends Module {
+  val io = new Bundle {
+    val u = UInt(1, width = 1).asInput
+    val b = Bool(OUTPUT) 
+  }
+  io.b := io.u.toBool
+}
+
+class BadBoolConversion extends Module {
+  val io = new Bundle {
+    val u = UInt(1, width = 5).asInput
+    val b = Bool(OUTPUT) 
+  }
+  io.b := io.u.toBool
+}
+
+class UIntSpec extends ChiselPropSpec with Matchers {
+  property("Bools can be created from 1 bit UInts") {
+    elaborate(new GoodBoolConversion)
+  }
+
+  property("Bools cannot be created from >1 bit UInts") {
+    a [Exception] should be thrownBy { elaborate(new BadBoolConversion) }
+  } 
+}
-- 
cgit v1.2.3