mirror of
https://github.com/YosysHQ/yosys
synced 2026-05-24 19:06:22 +00:00
Clean some seed-tests outputs
This commit is contained in:
parent
2774671346
commit
999255e40c
7 changed files with 24 additions and 24 deletions
|
|
@ -12,12 +12,12 @@ for arch in ../../techlibs/*; do
|
||||||
if [ "${defines[$arch_name]}" ]; then
|
if [ "${defines[$arch_name]}" ]; then
|
||||||
for def in ${defines[$arch_name]}; do
|
for def in ${defines[$arch_name]}; do
|
||||||
echo -n "Test $path -D$def ->"
|
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"
|
echo " ok"
|
||||||
done
|
done
|
||||||
else
|
else
|
||||||
echo -n "Test $path ->"
|
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"
|
echo " ok"
|
||||||
fi
|
fi
|
||||||
done
|
done
|
||||||
|
|
@ -25,6 +25,6 @@ done
|
||||||
|
|
||||||
for path in "../../techlibs/common/simcells.v" "../../techlibs/common/simlib.v"; do
|
for path in "../../techlibs/common/simcells.v" "../../techlibs/common/simlib.v"; do
|
||||||
echo -n "Test $path ->"
|
echo -n "Test $path ->"
|
||||||
iverilog -t null $path
|
iverilog -t null $path >/dev/null 2>&1
|
||||||
echo " ok"
|
echo " ok"
|
||||||
done
|
done
|
||||||
|
|
|
||||||
|
|
@ -3,7 +3,7 @@ source ../common-env.sh
|
||||||
set -e
|
set -e
|
||||||
for x in *.ys; do
|
for x in *.ys; do
|
||||||
echo "Running $x.."
|
echo "Running $x.."
|
||||||
../../yosys --no-version -ql ${x%.ys}.log $x
|
../../yosys --no-version -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||||
done
|
done
|
||||||
|
|
||||||
for x in *.blif; do
|
for x in *.blif; do
|
||||||
|
|
|
||||||
|
|
@ -14,5 +14,5 @@ run_subtest value
|
||||||
run_subtest value_fuzz
|
run_subtest value_fuzz
|
||||||
|
|
||||||
# Compile-only test.
|
# 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
|
${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 ..
|
cd ..
|
||||||
|
|
||||||
echo "Running from the parent directory with content1.dat"
|
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"
|
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"
|
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
|
cd memfile
|
||||||
|
|
||||||
echo "Running from the same directory with content1.dat"
|
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"
|
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
|
cd temp
|
||||||
|
|
||||||
echo "Running from a child directory with content1.dat"
|
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"
|
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"
|
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 ..
|
cd ..
|
||||||
|
|
||||||
echo "Checking a failure when zero length filename is provided"
|
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."
|
echo "The execution should fail but it didn't happen, which is WRONG."
|
||||||
exit 1
|
exit 1
|
||||||
else
|
else
|
||||||
|
|
@ -42,7 +42,7 @@ else
|
||||||
fi
|
fi
|
||||||
|
|
||||||
echo "Checking a failure when not existing filename is provided"
|
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."
|
echo "The execution should fail but it didn't happen, which is WRONG."
|
||||||
exit 1
|
exit 1
|
||||||
else
|
else
|
||||||
|
|
|
||||||
|
|
@ -3,5 +3,5 @@ source ../common-env.sh
|
||||||
set -e
|
set -e
|
||||||
for x in *.ys; do
|
for x in *.ys; do
|
||||||
echo "Running $x.."
|
echo "Running $x.."
|
||||||
../../yosys -ql ${x%.ys}.log $x
|
../../yosys -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||||
done
|
done
|
||||||
|
|
|
||||||
|
|
@ -3,5 +3,5 @@ source ../common-env.sh
|
||||||
set -e
|
set -e
|
||||||
for x in *.ys; do
|
for x in *.ys; do
|
||||||
echo "Running $x.."
|
echo "Running $x.."
|
||||||
../../yosys -ql ${x%.ys}.log $x
|
../../yosys -ql ${x%.ys}.log $x >/dev/null 2>&1
|
||||||
done
|
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
|
rm -f a.out reference_result.txt dut_result.txt
|
||||||
|
|
||||||
iverilog -g2012 ${TESTNAME}_syn.v
|
iverilog -g2012 ${TESTNAME}_syn.v >/dev/null 2>&1
|
||||||
iverilog -g2012 ${TESTNAME}_ref_syn.v
|
iverilog -g2012 ${TESTNAME}_ref_syn.v >/dev/null 2>&1
|
||||||
|
|
||||||
set +e
|
set +e
|
||||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_ref_syn.v
|
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_ref_syn.v >/dev/null 2>&1
|
||||||
./a.out
|
./a.out >/dev/null 2>&1
|
||||||
mv output.txt reference_result.txt
|
mv output.txt reference_result.txt
|
||||||
if [ -f ${TESTNAME}_wrapper.v ] ; then
|
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
|
else
|
||||||
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_syn.v
|
iverilog -g2012 ${TESTNAME}_tb.v ${TESTNAME}_syn.v >/dev/null 2>&1
|
||||||
fi
|
fi
|
||||||
./a.out
|
./a.out >/dev/null 2>&1
|
||||||
mv output.txt dut_result.txt
|
mv output.txt dut_result.txt
|
||||||
|
|
||||||
diff reference_result.txt dut_result.txt > ${TESTNAME}.diff
|
diff reference_result.txt dut_result.txt > ${TESTNAME}.diff
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue