From 15a0697c70e14d6277e26f6fa21898be5a8f6ff8 Mon Sep 17 00:00:00 2001
From: Archie <ac11018@ic.ac.uk>
Date: Sun, 21 Aug 2022 23:18:20 -0500
Subject: Adding check for BLIF names command input plane size.

---
 tests/blif/bug3385.ys | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/blif/bug3385.ys

(limited to 'tests/blif')

diff --git a/tests/blif/bug3385.ys b/tests/blif/bug3385.ys
new file mode 100644
index 000000000..e1e45983d
--- /dev/null
+++ b/tests/blif/bug3385.ys
@@ -0,0 +1,9 @@
+logger -expect error "Syntax error in line 4: names' input plane must have fewer than 13 signals." 1
+read_blif <<EOF
+.model test
+.inputs w0 w1 w2 w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 w23 w24 w25 w26 w27 w28 w29 w30
+.outputs out
+.names w0 w1 w2 w3 w4 w5 w6 w7 w8 w9 w10 w11 w12 w13 w14 w15 w16 w17 w18 w19 w20 w21 w22 w23 w24 w25 w26 w27 w28 w29 w30 out
+1101010001100110010001100111001 0
+.end
+EOF
-- 
cgit v1.2.3