]> andersk Git - splint.git/blobdiff - test/Makefile.am
Improved tracking of state change locations. Added +showdeephistory
[splint.git] / test / Makefile.am
index cff0f8603673957417fd411dde805c99de45206f..5dc3f99a735d61f63c506bc122d3044f09b823c3 100644 (file)
@@ -631,9 +631,9 @@ nullassign:
 
 .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
 
 #
 # Before 2.4, expected one more because error was reported both as 
This page took 0.032231 seconds and 4 git commands to generate.