add hierarchy -smtcheck
[yosys.git] / .gitattributes
1 *.v linguist-language=Verilog