3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-08 01:58:00 +00:00

abc: handle ABC script errors instead of hanging

This commit is contained in:
Roland Coeurjoly 2026-01-07 23:46:33 +01:00
parent 35321cd292
commit f1fc704c84
2 changed files with 13 additions and 0 deletions

7
tests/techmap/bug5574.ys Normal file
View file

@ -0,0 +1,7 @@
read_verilog << EOT
module fuzz_mwoqk (input i0, output o0);
assign o0 = i0 ^ 1;
endmodule
EOT
synth
abc -script +resub,-K,8;