From 547c5466ecc74d593793ba30dde20fc941170a89 Mon Sep 17 00:00:00 2001
From: Roland Coeurjoly <rolandcoeurjoly@gmail.com>
Date: Mon, 24 Jun 2024 02:40:32 +0200
Subject: [PATCH] Ignore smt2 files, generated by the execution of the tests

---
 tests/functional/.gitignore | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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