Added support for default buffer constraint annotations

[splint.git] / test / Makefile.in

diff --git a/test/Makefile.in b/test/Makefile.in
index e5b7ad88018874175b36de5483fda62ee6b8ca82..9e34fc2d1f0a0267c2ca3dcbd0726a563441ea0e 100644 (file)
--- a/test/Makefile.in
+++ b/test/Makefile.in
@@ -1392,13 +1392,6 @@ mystrncat:
 noeffect:
        ${SPLINTP} noeffect.c +allmacros +checks -expect 3
 
-
-.PHONY: numabstract
-numabstract:
-       -$(SPLINTR) numabstract.c -expect 11
-       -$(SPLINTR) numabstract.c +numabstractlit -expect 9
-       -$(SPLINTR) numabstract.c -numabstractcast -expect 10
-
 ###
 ### 2002-01-01: null1.c: expect increased to 15 because out must be defined
 ###                         checking detects one new error
@@ -1429,6 +1422,14 @@ nullassign:
        -$(SPLINTR) nullassign.c -expect 2
        -$(SPLINTR) -nullassign nullassign.c -expect 1
 
+### Added for 3.1 - evans 2002-12-14
+
+.PHONY: numabstract
+numabstract:
+       -$(SPLINTR) numabstract.c -expect 11
+       -$(SPLINTR) numabstract.c +numabstractlit -expect 9
+       -$(SPLINTR) numabstract.c -numabstractcast -expect 10
+
 #
 # Before 2.4, expected one more because error was reported both as 
 # dependent and observer.