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

tests: report time per target, eliminate interleaving lines on stdout

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-09-19 18:09:47 +02:00
parent d5053033e4
commit 7f030c986c
13 changed files with 14 additions and 19 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/fsm/run-test.sh
View file

@ -29,10 +29,9 @@ python3 generate.py -c $count $seed
for i in $( ls temp/*.ys | sed 's,[^0-9],,g; s,^0*\(.\),\1,g;' ); do
idx=$( printf "%05d" $i )
echo "temp/uut_${idx}.log: temp/uut_${idx}.ys temp/uut_${idx}.v"
echo " @echo -n '[$i]'"
echo " @../../yosys -ql temp/uut_${idx}.out temp/uut_${idx}.ys"
echo " @mv temp/uut_${idx}.out temp/uut_${idx}.log"
echo " @grep -q 'SAT proof finished' temp/uut_${idx}.log && echo -n K || echo -n T"
echo " @grep -q 'SAT proof finished' temp/uut_${idx}.log && echo K || echo T"
all_targets="$all_targets temp/uut_${idx}.log"
done
echo "$all_targets"