Ignore smt2 files, generated by the execution of the tests

YosysHQ · Jun 24, 2024 · f5f8780 · f5f8780
1 parent a350ff6
commit f5f8780
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/tests/functional/.gitignore b/tests/functional/.gitignore
@@ -1,4 +1,5 @@
 my_module_cxxrtl.cc
 my_module_functional_cxx.cc
 vcd_harness
-*.vcd
+*.vcd
+*.smt2