github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-12 00:42:47 +00:00
Code Issues Releases Wiki Activity

Merge pull request #5573 from rocallahan/increase-timeout

Browse Source 
Increase test timeout to 10 seconds
This commit is contained in:
Miodrag Milanović 2025-12-29 12:38:34 +01:00 committed by GitHub
commit d523c88c3c
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/techmap/bug5495.sh
View File

@ -5,7 +5,7 @@ if ! which timeout ; then
exit 0
fi
if ! timeout 5 ../../yosys bug5495.v -p 'hierarchy; techmap; abc -script bug5495.abc' ; then
if ! timeout 10 ../../yosys bug5495.v -p 'hierarchy; techmap; abc -script bug5495.abc' ; then
echo "Yosys failed to complete"
exit 1
fi