luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Try again

This commit is contained in:
Akash Levy 2026-04-16 04:16:55 -07:00
parent 0db45a6796
commit 083eb8e5f1
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/gen-tests-makefile.sh
View File

@ -92,7 +92,7 @@ generate_tests() {
if [[ $do_sv = true ]]; then
for x in *.sv; do
if [ ! -f "${x%.sv}.ys" ]; then
generate_ys_test "$x" "-p \"prep -top top; async2sync; sat -enable_undef -verify -prove-asserts\" $yosys_args"
generate_ys_test "$x" "-p \"prep -top top; async2sync; select top; sat -enable_undef -verify -prove-asserts\" $yosys_args"
fi;
done
fi;

2
verific

@ -1 +1 @@
Subproject commit d62b8153567305cbcb3d2e6b141b9cce422a4662
Subproject commit 0284e8560e23dcf914213cb08e44041fbbbfd286