Skip to content

Commit 6f818af

Browse files
akashlevyakashlevy
committed
Ignore test collateral
1 parent 0a68eb3 commit 6f818af

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

‎tests/various/.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,3 +9,7 @@
99
/temp
1010
/smtlib2_module.smt2
1111
/smtlib2_module-filtered.smt2
12+
/ports_nets_in_*.txt
13+
/ports_only_in_*.txt
14+
/ports_nets_in_*.v
15+
/ports_only_in_*.v

0 commit comments

Comments
 (0)