1
0
mirror of synced 2026-04-27 12:40:28 +00:00

Merge pull request #5109 from YosysHQ/emil/aiger-map-fix-outputs

aiger: fix -map and -vmap
This commit is contained in:
Emil J
2025-06-02 15:07:19 +02:00
committed by GitHub
2 changed files with 11 additions and 1 deletions

10
tests/aiger/io.ys Normal file
View File

@@ -0,0 +1,10 @@
read_verilog <<EOF
module bad(
input in,
output reg [1:0] out
);
assign out = {in, 1'b0};
endmodule
EOF
proc
write_aiger -vmap /dev/null /dev/null