From 33b03ce904f6810437e27ca7a6df4fb1e966fc23 Mon Sep 17 00:00:00 2001
From: Eddie Hung <eddie@fpgeh.com>
Date: Sun, 24 May 2020 08:48:23 -0700
Subject: [PATCH] xaiger: add testcase

---
 tests/various/xaiger.ys | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tests/various/xaiger.ys

diff --git a/tests/various/xaiger.ys b/tests/various/xaiger.ys
new file mode 100644
index 000000000..f612d2e18
--- /dev/null
+++ b/tests/various/xaiger.ys
@@ -0,0 +1,13 @@
+read_verilog <<EOT
+module top(input a, b, output c);
+bb #(1) bb();
+endmodule
+
+module bb(input a, b, output c);
+parameter p = 0;
+assign c = a ^ b;
+endmodule
+EOT
+blackbox bb
+hierarchy
+write_xaiger /dev/null
-- 
2.30.2