Add propagated clock signals into btor info file
[yosys.git] / .gitattributes
1 *.v linguist-language=Verilog