Merge pull request #1918 from GaloisInc/gitignore-tests

Add some autogenerated directories under `intTests/` to .gitignore
GaloisInc · Aug 24, 2023 · 0aa2492 · 0aa2492
2 parents 128e8f8 + b569ae2
commit 0aa2492
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 9 deletions.
diff --git a/.gitignore b/.gitignore
@@ -20,13 +20,4 @@ cabal.project.freeze
 *~
 *#
 .#*
-intTests/test_intro_examples/*.cnf
-intTests/test_llvm_x86_0[1234]/test
-intTests/test_llvm_x86_0[1234]/test.o
-intTests/test_llvm_x86_0[1234]/test.bc
-intTests/test1533/test.o
-intTests/test*/*.out
-intTests/test_crucible_jvm/Stat.class
-intTests/test_profiling/prof
-intTests/test_smtlib/*.smt2
 saw-core-coq/coq/.Makefile.coq.d
diff --git a/intTests/.gitignore b/intTests/.gitignore
@@ -1,4 +1,16 @@
+.cache
+.local
+.saw
 logs
 results.xml
 results.xml.tmp
 tmp
+test_intro_examples/*.cnf
+test_llvm_x86_0[1234]/test
+test_llvm_x86_0[1234]/test.o
+test_llvm_x86_0[1234]/test.bc
+test1533/test.o
+test*/*.out
+test_crucible_jvm/Stat.class
+test_profiling/prof
+test_smtlib/*.smt2