From a4a6d2f88fb8ff5fda802ed1c105253bf56cc393 Mon Sep 17 00:00:00 2001 From: Matthias Weiss Date: Wed, 5 Jun 2019 13:56:21 +0100 Subject: [PATCH] Update .gitignore with entries for new binaries --- .gitignore | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.gitignore b/.gitignore index 869d1f78d06..0bde9e063f3 100644 --- a/.gitignore +++ b/.gitignore @@ -112,6 +112,10 @@ src/goto-instrument/goto-instrument src/goto-instrument/goto-instrument.exe src/solvers/smt2_solver src/solvers/smt2_solver.exe +src/memory-analyzer/memory-analyzer +src/memory-analyzer/memory-analyzer.exe +src/symtab2gb/symtab2gb +src/symtab2gb/symtab2gb.exe src/goto-diff/goto-diff src/goto-diff/goto-diff.exe src/clobber/clobber