mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-15 07:15:28 +00:00
Code Activity

Add tests

Browse source
This commit is contained in:
Eddie Hung 2019-02-04 16:46:24 -08:00
parent 266511b29e
commit 3f0bb441f8
16 changed files with 109 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

20
tests/aig/run-test.sh Executable file
View file

@ -0,0 +1,20 @@
#!/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
exec ${MAKE:-make} -f ../tools/autotest.mk $seed *.aag EXTRA_FLAGS="-f aiger"