]> andersk Git - splint.git/blobdiff - test/Makefile.in
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / Makefile.in
index 2d5e2b63e5c7b6b9f54fcfdfe2f9261e398d683f..e5b7ad88018874175b36de5483fda62ee6b8ca82 100644 (file)
@@ -1392,11 +1392,12 @@ mystrncat:
 noeffect:
        ${SPLINTP} noeffect.c +allmacros +checks -expect 3
 
+
 .PHONY: numabstract
 numabstract:
-       -$(SPLINTR) numabstract.c -expect 8
-       -$(SPLINTR) numabstract.c +numabstractlit -expect 7
-       -$(SPLINTR) numabstract.c -numabstractcast -expect 7
+       -$(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
This page took 0.185205 seconds and 4 git commands to generate.