diff --git a/tests/various/.gitignore b/tests/various/.gitignore
index b9eb7edf0..27059beba 100644
--- a/tests/various/.gitignore
+++ b/tests/various/.gitignore
@@ -9,3 +9,7 @@
 /temp
 /smtlib2_module.smt2
 /smtlib2_module-filtered.smt2
+/ports_nets_in_*.txt
+/ports_only_in_*.txt
+/ports_nets_in_*.v
+/ports_only_in_*.v