From 49449f406347d5c05b8cb8834ca8205d44934f99 Mon Sep 17 00:00:00 2001 From: thk123 Date: Fri, 3 Feb 2017 10:42:59 +0000 Subject: [PATCH] Additions to the gitignore Ignore some more generated files from the regressions folder (.gb files and all the log files. Also removed some redundant lines that are now covered by the **/*.log rule. Added the clobber binary and moved the test-bigint binary to the binaries section. --- .gitignore | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/.gitignore b/.gitignore index 7987741c045..dd06a376eff 100644 --- a/.gitignore +++ b/.gitignore @@ -25,12 +25,9 @@ src/util/irep_ids.inc # regression/test files *.out -regression/ansi-c/tests.log -regression/symex/tests.log -regression/cbmc-java/tests.log -regression/cbmc/tests.log -src/big-int/test-bigint -src/big-int/test-bigint.exe +regression/**/tests.log +regression/**/*.gb +regression/**/*.smt2 # regression/coverage file /regression/coverage_** @@ -81,6 +78,10 @@ src/symex/symex src/symex/symex.exe src/goto-diff/goto-diff src/goto-diff/goto-diff.exe +src/clobber/clobber +src/clobber/clobber.exe +src/big-int/test-bigint +src/big-int/test-bigint.exe # build tools src/ansi-c/file_converter