Add support for printf and asserts, add testbench for asserts and printf

1 files changed, 28 insertions, 0 deletions

diff --git a/src/test/scala/chiselTests/Assert.scala b/src/test/scala/chiselTests/Assert.scala
new file mode 100644
index 00000000..31e53f36
--- /dev/null
+++ b/src/test/scala/chiselTests/Assert.scala
@@ -0,0 +1,28 @@
+// See LICENSE for license details.
+
+package chiselTests
+
+import org.scalatest._
+import Chisel._
+import Chisel.testers.BasicTester
+
+class FailingAssertTester() extends BasicTester {
+  assert(Bool(false))
+  io.done := Bool(true)
+  io.error := Bool(false)
+}
+
+class SucceedingAssertTester() extends BasicTester {
+  assert(Bool(true))
+  io.done := Bool(true)
+  io.error := Bool(false)
+}
+
+class AssertSpec extends ChiselFlatSpec {
+  "A failing assertion" should "fail the testbench" in {
+    assert(!execute{ new FailingAssertTester })
+  }
+  "A succeeding assertion" should "not fail the testbench" in {
+    assert(execute{ new SucceedingAssertTester })
+  }
+}