Added additional tests for buffer overflow detection fixes to the test suite.

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index cdb51c3b6df8818c34fafcf51e694cb09bd7cc27..155b127a54f195d937d1b45247ab4cc70631238e 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -114,7 +114,7 @@ UNITTESTS = \
   help \
   fileio tainted mergestate metastate sizeof buffertest \
   tests2.2 tests2.4 tests2.5  \
-  simplebufferConstraintTests moreBufferTests globalbufferannotation \
+  simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \
   maxset strchr for \
   abstptr abstract alias alttypes ansireserved argorder \
   args blocks break cases cast charlit clauses commentchar compdestroy \
@@ -146,7 +146,7 @@ CLEANOUTPUT = $(GREP) -v "LCLint 3." | $(GREP) -v "$(LCLINT)" | $(GREP) -v "^mak
 ### Bugs fixed and new features since version 2.1b
 ###
 SUBDIRTESTS = metastate mergestate tainted fileio warnuse ensuresclauses \
-   simplebufferConstraintTests moreBufferTests globalbufferannotation \
+   simplebufferConstraintTests moreBufferTests moreBufferTests2 globalbufferannotation \
    maxset strchr for \
 tests2.2 tests2.2a tests2.4 tests2.5 db1 db2 db3
 subdir = test