diff options
| author | Gabriel L. Somlo <gsomlo@gmail.com> | 2019-06-27 22:54:09 -0400 |
|---|---|---|
| committer | Gabriel L. Somlo <gsomlo@gmail.com> | 2019-06-27 23:00:13 -0400 |
| commit | 6f1c1379891651b0d110e35fb2c73fd78fde3f69 (patch) | |
| tree | ca74714f5a19cf58b5ce66a6fc753d14b0b84efb /tests/memories | |
| parent | c4c39e98146b6837c35c425ef7987b2be45c0451 (diff) | |
| download | yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.tar.gz yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.tar.bz2 yosys-6f1c1379891651b0d110e35fb2c73fd78fde3f69.zip | |
tests: use optional ABCEXTERNAL when specified
Commits 65924fd1, abc40924, and ebe29b66 hard-code the invocation
of yosys-abc, which fails if ABCEXTERNAL was specified during the
build. Allow tests to utilize an optional, externally specified
abc binary.
Signed-off-by: Gabriel Somlo <gsomlo@gmail.com>
Diffstat (limited to 'tests/memories')
| -rwxr-xr-x | tests/memories/run-test.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/tests/memories/run-test.sh b/tests/memories/run-test.sh index d0537bb98..76acaa9cd 100755 --- a/tests/memories/run-test.sh +++ b/tests/memories/run-test.sh @@ -4,15 +4,17 @@ set -e OPTIND=1 seed="" # default to no seed specified -while getopts "S:" opt +abcopt="" +while getopts "A:S:" opt do case "$opt" in + A) abcopt="-A $OPTARG" ;; S) seed="-S $OPTARG" ;; esac done shift "$((OPTIND-1))" -bash ../tools/autotest.sh $seed -G *.v +bash ../tools/autotest.sh $abcopt $seed -G *.v for f in `egrep -l 'expect-(wr-ports|rd-ports|rd-clk)' *.v`; do echo -n "Testing expectations for $f .." |