mirror of
https://github.com/YosysHQ/yosys
synced 2026-03-23 04:49:15 +00:00
Clean some seed-tests outputs
This commit is contained in:
parent
a155994868
commit
ede782d7e3
7 changed files with 24 additions and 24 deletions
|
|
@ -12,12 +12,12 @@ for arch in ../../techlibs/*; do
|
|||
if [ "${defines[$arch_name]}" ]; then
|
||||
for def in ${defines[$arch_name]}; do
|
||||
echo -n "Test $path -D$def ->"
|
||||
iverilog -t null -I$arch -D$def -DNO_ICE40_DEFAULT_ASSIGNMENTS $path
|
||||
iverilog -t null -I$arch -D$def -DNO_ICE40_DEFAULT_ASSIGNMENTS $path >/dev/null 2>&1
|
||||
echo " ok"
|
||||
done
|
||||
else
|
||||
echo -n "Test $path ->"
|
||||
iverilog -t null -I$arch -g2005-sv $path
|
||||
iverilog -t null -I$arch -g2005-sv $path >/dev/null 2>&1
|
||||
echo " ok"
|
||||
fi
|
||||
done
|
||||
|
|
@ -25,6 +25,6 @@ done
|
|||
|
||||
for path in "../../techlibs/common/simcells.v" "../../techlibs/common/simlib.v"; do
|
||||
echo -n "Test $path ->"
|
||||
iverilog -t null $path
|
||||
iverilog -t null $path >/dev/null 2>&1
|
||||
echo " ok"
|
||||
done
|
||||
|
|
|
|||
|
|
@ -3,7 +3,7 @@ source ../common-env.sh
|
|||
set -e
|
||||
for x in *.ys; do
|
||||
echo "Running $x.."
|
||||
../../yosys --no-version -ql ${x%.ys}.log $x
|
||||
../../yosys --no-version -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||
done
|
||||
|
||||
for x in *.blif; do
|
||||
|
|
|
|||
|
|
@ -14,5 +14,5 @@ run_subtest value
|
|||
run_subtest value_fuzz
|
||||
|
||||
# Compile-only test.
|
||||
../../yosys -p "read_verilog test_unconnected_output.v; select =*; proc; clean; write_cxxrtl cxxrtl-test-unconnected_output.cc"
|
||||
../../yosys -p "read_verilog test_unconnected_output.v; select =*; proc; clean; write_cxxrtl cxxrtl-test-unconnected_output.cc" >/dev/null 2>&1
|
||||
${CXX:-g++} -std=c++11 -c -o cxxrtl-test-unconnected_output -I../../backends/cxxrtl/runtime cxxrtl-test-unconnected_output.cc
|
||||
|
|
|
|||
|
|
@ -9,32 +9,32 @@ cp content1.dat temp/content2.dat
|
|||
cd ..
|
||||
|
||||
echo "Running from the parent directory with content1.dat"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"content1.dat\" memory"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"content1.dat\" memory" >/dev/null 2>&1
|
||||
echo "Running from the parent directory with temp/content2.dat"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory" >/dev/null 2>&1
|
||||
echo "Running from the parent directory with memfile/temp/content2.dat"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"memfile/temp/content2.dat\" memory"
|
||||
../yosys -qp "read_verilog -defer memfile/memory.v; chparam -set MEMFILE \"memfile/temp/content2.dat\" memory" >/dev/null 2>&1
|
||||
|
||||
cd memfile
|
||||
|
||||
echo "Running from the same directory with content1.dat"
|
||||
../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"content1.dat\" memory"
|
||||
../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"content1.dat\" memory" >/dev/null 2>&1
|
||||
echo "Running from the same directory with temp/content2.dat"
|
||||
../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
|
||||
../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory" >/dev/null 2>&1
|
||||
|
||||
cd temp
|
||||
|
||||
echo "Running from a child directory with content1.dat"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"content1.dat\" memory"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"content1.dat\" memory" >/dev/null 2>&1
|
||||
echo "Running from a child directory with temp/content2.dat"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory" >/dev/null 2>&1
|
||||
echo "Running from a child directory with content2.dat"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory"
|
||||
../../../yosys -qp "read_verilog -defer ../memory.v; chparam -set MEMFILE \"temp/content2.dat\" memory" >/dev/null 2>&1
|
||||
|
||||
cd ..
|
||||
|
||||
echo "Checking a failure when zero length filename is provided"
|
||||
if ../../yosys -qp "read_verilog memory.v"; then
|
||||
if ../../yosys -qp "read_verilog memory.v" >/dev/null 2>&1; then
|
||||
echo "The execution should fail but it didn't happen, which is WRONG."
|
||||
exit 1
|
||||
else
|
||||
|
|
@ -42,7 +42,7 @@ else
|
|||
fi
|
||||
|
||||
echo "Checking a failure when not existing filename is provided"
|
||||
if ../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"content3.dat\" memory"; then
|
||||
if ../../yosys -qp "read_verilog -defer memory.v; chparam -set MEMFILE \"content3.dat\" memory" >/dev/null 2>&1; then
|
||||
echo "The execution should fail but it didn't happen, which is WRONG."
|
||||
exit 1
|
||||
else
|
||||
|
|
|
|||
|
|
@ -3,5 +3,5 @@ source ../common-env.sh
|
|||
set -e
|
||||
for x in *.ys; do
|
||||
echo "Running $x.."
|
||||
../../yosys -ql ${x%.ys}.log $x
|
||||
../../yosys -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||
done
|
||||
|
|
|
|||
|
|
@ -3,5 +3,5 @@ source ../common-env.sh
|
|||
set -e
|
||||
for x in *.ys; do
|
||||
echo "Running $x.."
|
||||
../../yosys -ql ${x%.ys}.log $x
|
||||
../../yosys -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||
done
|
||||
|
|
|
|||
|
|
@ -18,19 +18,19 @@ $PWD/../../yosys -p "read_verilog -sv ${TESTNAME}_ref.v ; hierarchy -check -top
|
|||
|
||||
rm -f a.out reference_result.txt dut_result.txt
|
||||
|
||||
iverilog -g2012 ${TESTNAME}_syn.v
|
||||
iverilog -g2012 ${TESTNAME}_ref_syn.v
|
||||
iverilog -g2012 ${TESTNAME}_syn.v >/dev/null 2>&1
|
||||
iverilog -g2012 ${TESTNAME}_ref_syn.v >/dev/null 2>&1
|
||||
|
||||
set +e
|
||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_ref_syn.v
|
||||
./a.out
|
||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_ref_syn.v >/dev/null 2>&1
|
||||
./a.out >/dev/null 2>&1
|
||||
mv output.txt reference_result.txt
|
||||
if [ -f ${TESTNAME}_wrapper.v ] ; then
|
||||
iverilog -g2012 ${TESTNAME}_tb_wrapper.v ${TESTNAME}_syn.v
|
||||
iverilog -g2012 ${TESTNAME}_tb_wrapper.v ${TESTNAME}_syn.v >/dev/null 2>&1
|
||||
else
|
||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_syn.v
|
||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_syn.v >/dev/null 2>&1
|
||||
fi
|
||||
./a.out
|
||||
./a.out >/dev/null 2>&1
|
||||
mv output.txt dut_result.txt
|
||||
|
||||
diff reference_result.txt dut_result.txt > ${TESTNAME}.diff
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue