-/config.h.in
-/config.log
-/config.status
-/config.cache
-/cvc4autoconfig.h.in
-/libtool
/stamp-h1
/cvc4-*.tar.gz
/cvc4-*.tar.bz2
/stamp-h1
/cvc4-*.tar.gz
/cvc4-*.tar.bz2
-/builds/
-/doc/
-.dep
-Makefile.in
-/configure
-/aclocal.m4
callgrind.out*
gmon.out
stamp-generated
generated/
*~
\#*\#
callgrind.out*
gmon.out
stamp-generated
generated/
*~
\#*\#
-*.gcov
-/lcov/
-.cvc4_config
-config.reconfig