mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-25 06:59:33 +00:00
Code Activity

Tests: Add testcase for problematic ABC DONE check

Browse source
This commit is contained in:
Krystine Sherwin 2025-11-21 14:46:01 +13:00
parent 8ea51e1479
commit 4d1b688717
No known key found for this signature in database
3 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
tests/techmap/bug5495.abc Normal file
View file

@ -0,0 +1,2 @@
fraig_store; fraig_restore

7
tests/techmap/bug5495.sh Executable file
View file

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

7
tests/techmap/bug5495.v Normal file
View file

@ -0,0 +1,7 @@
module simple(I1, I2, O);
input wire I1;
input wire I2;
output wire O;
assign O = I1 | I2;
endmodule