mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-25 03:16:22 +00:00
Code Activity

Clean some seed-tests outputs

Browse source
This commit is contained in:
Miodrag Milanovic 2026-03-10 15:57:24 +01:00
parent 999255e40c
commit 712ce93501
6 changed files with 23 additions and 23 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -31,7 +31,7 @@ python3 generate.py -c $count $seed
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 " @../../yosys -ql temp/uut_${idx}.out temp/uut_${idx}.ys >/dev/null 2>&1"
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"
all_targets="$all_targets temp/uut_${idx}.log"