diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 09:31:17 -0800 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-02-21 09:31:17 -0800 |
| commit | be061810d78102eeea79d10f4ff8307bffa34979 (patch) | |
| tree | 2ad28b12ba237302adcf3e934c516018ddecf1dc /tests | |
| parent | 7f26043caf6f9810d8541caaa57151ec8fb539a1 (diff) | |
| parent | 2da4c9c8f0a849434f657ac4a56de11d35e1c41e (diff) | |
| download | yosys-be061810d78102eeea79d10f4ff8307bffa34979.tar.gz yosys-be061810d78102eeea79d10f4ff8307bffa34979.tar.bz2 yosys-be061810d78102eeea79d10f4ff8307bffa34979.zip | |
Merge branch 'clifford/dffsrfix' of https://github.com/YosysHQ/yosys into xaig
Diffstat (limited to 'tests')
| -rwxr-xr-x | tests/simple_defparam/run-test.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/tests/simple_defparam/run-test.sh b/tests/simple_defparam/run-test.sh deleted file mode 100755 index 137e15076..000000000 --- a/tests/simple_defparam/run-test.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -OPTIND=1 -seed="" # default to no seed specified -while getopts "S:" opt -do - case "$opt" in - S) arg="${OPTARG#"${OPTARG%%[![:space:]]*}"}" # remove leading space - seed="SEED=$arg" ;; - esac -done -shift "$((OPTIND-1))" - -# check for Icarus Verilog -if ! which iverilog > /dev/null ; then - echo "$0: Error: Icarus Verilog 'iverilog' not found." - exit 1 -fi - -cp ../simple/*.v . -exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.v EXTRA_FLAGS="-B \"-defparam\"" |