diff options
author | David Shah <dave@ds0.me> | 2019-07-02 13:27:37 +0100 |
---|---|---|
committer | David Shah <dave@ds0.me> | 2019-07-02 13:35:50 +0100 |
commit | d45936fe5f2c6fd1e6f371b2fc3d6d820868ef72 (patch) | |
tree | 8ff666a0cf8df461c4c228417c908d23ce4ecc91 /tests/memories/run-test.sh | |
parent | d206eca03b8aa7bb982fb2486c02c90a61354066 (diff) | |
download | yosys-d45936fe5f2c6fd1e6f371b2fc3d6d820868ef72.tar.gz yosys-d45936fe5f2c6fd1e6f371b2fc3d6d820868ef72.tar.bz2 yosys-d45936fe5f2c6fd1e6f371b2fc3d6d820868ef72.zip |
memory_dff: Fix checking of feedback mux input when more than one mux
Signed-off-by: David Shah <dave@ds0.me>
Diffstat (limited to 'tests/memories/run-test.sh')
-rwxr-xr-x | tests/memories/run-test.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tests/memories/run-test.sh b/tests/memories/run-test.sh index 76acaa9cd..8d1a8b413 100755 --- a/tests/memories/run-test.sh +++ b/tests/memories/run-test.sh @@ -31,6 +31,10 @@ for f in `egrep -l 'expect-(wr-ports|rd-ports|rd-clk)' *.v`; do grep -q "connect \\\\RD_CLK \\$(gawk '/expect-rd-clk/ { print $3; }' $f)\$" ${f%.v}.dmp || { echo " ERROR: Unexpected read clock."; false; } fi + if grep -q expect-no-rd-clk $f; then + grep -q "connect \\\\RD_CLK 1'x\$" ${f%.v}.dmp || + { echo " ERROR: Expected no read clock."; false; } + fi echo " ok." done |