diff --git a/tests/functional/.gitignore b/tests/functional/.gitignore
index 543226b49..8b20fbedf 100644
--- a/tests/functional/.gitignore
+++ b/tests/functional/.gitignore
@@ -1,4 +1,5 @@
 my_module_cxxrtl.cc
 my_module_functional_cxx.cc
 vcd_harness
-*.vcd
\ No newline at end of file
+*.vcd
+*.smt2
\ No newline at end of file