Add tests/various/chparam.sh

[yosys.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 4fce690eca9b81a9ce937c2bad0f621a69de85e3..e24f7975af2e30c9ef520e0eef0d8dea33bd83b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -24,6 +24,8 @@
 /yosys-abc.exe
 /yosys-config
 /yosys-smtbmc
+/yosys-smtbmc.exe
+/yosys-smtbmc-script.py
 /yosys-filterlib
 /yosys-filterlib.exe
 /kernel/version_*.cc
@@ -34,3 +36,4 @@
 /libyosys.so
 /tests/unit/bintest/
 /tests/unit/objtest/
+/tests/ystests