diff options
| author | Columbus240 | 2020-08-24 19:22:41 +0200 |
|---|---|---|
| committer | Columbus240 | 2020-09-12 23:00:19 +0200 |
| commit | 8f5b97b4315440e75658ce2165761bf086ad3e11 (patch) | |
| tree | ca05c720a626f4714ee117e2ddc32493de7f81ed | |
| parent | 1a9187c48d331c724b66fff2d0ac77a354a9f4e7 (diff) | |
gitignore test artifacts of c and coq tests
The "c" tests produce some *.h files that didn’t get ignored. The "coq"
tests also produce some files that weren’t ignored.
| -rw-r--r-- | .gitignore | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -60,12 +60,17 @@ lib/hol/sail-heap /test/smt/*.out /test/smt/*.smt2 /test/c/*.c +/test/c/*.h /test/c/*.result /test/c/*.iresult /test/c/*.oresult /test/c/*.bin /test/c/*_ocaml /test/c/_sbuild* +/test/coq/.lia.cache +/test/coq/.nia.cache +/test/coq/out.v +/test/coq/out_types.v /test/mono/Out_lemmas.thy /test/mono/log /test/mono/test.cmi |