Merge pull request #794 from daveshah1/ecp5improve
[yosys.git] / backends / smt2 / .gitignore
1 test_cells