diff options
| author | Archie <ac11018@ic.ac.uk> | 2022-08-21 23:18:20 -0500 |
|---|---|---|
| committer | Archie <ac11018@ic.ac.uk> | 2022-08-21 23:18:20 -0500 |
| commit | 15a0697c70e14d6277e26f6fa21898be5a8f6ff8 (patch) | |
| tree | b3429075ae105278dbd6f06efabdf49834385870 /tests/blif | |
| parent | db73f3c26b2768f93c7573b7c7d74b1cc7a0756d (diff) | |
| download | yosys-15a0697c70e14d6277e26f6fa21898be5a8f6ff8.tar.gz yosys-15a0697c70e14d6277e26f6fa21898be5a8f6ff8.tar.bz2 yosys-15a0697c70e14d6277e26f6fa21898be5a8f6ff8.zip | |
Adding check for BLIF names command input plane size.
Diffstat (limited to 'tests/blif')
| -rw-r--r-- | tests/blif/bug3385.ys | 9 |
1 files changed, 9 insertions, 0 deletions
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 |