From e8da3ea7b647f2c1eeba8a84590df7b05ca4e046 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 7 Jul 2013 16:49:30 +0200
Subject: Fixed another bug found using vloghammer

---
 tests/simple/vloghammer.v | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 tests/simple/vloghammer.v

(limited to 'tests')

diff --git a/tests/simple/vloghammer.v b/tests/simple/vloghammer.v
new file mode 100644
index 00000000..a0cde043
--- /dev/null
+++ b/tests/simple/vloghammer.v
@@ -0,0 +1,10 @@
+
+// test cases found using vloghammer
+// https://github.com/cliffordwolf/VlogHammer
+
+module test01(a, y);
+	input [7:0] a;
+	output [3:0] y;
+	assign y = ~a >> 4;
+endmodule
+
-- 
cgit v1.2.3