mirror of
https://github.com/YosysHQ/yosys
synced 2025-04-12 20:18:20 +00:00
Ignore smt2 files, generated by the execution of the tests
This commit is contained in:
parent
c6e112686c
commit
547c5466ec
3
tests/functional/.gitignore
vendored
3
tests/functional/.gitignore
vendored
|
@ -1,4 +1,5 @@
|
||||||
my_module_cxxrtl.cc
|
my_module_cxxrtl.cc
|
||||||
my_module_functional_cxx.cc
|
my_module_functional_cxx.cc
|
||||||
vcd_harness
|
vcd_harness
|
||||||
*.vcd
|
*.vcd
|
||||||
|
*.smt2
|
Loading…
Reference in a new issue