]> andersk Git - splint.git/blobdiff - test/Makefile.am
Cleaned up flags to generate manual help.
[splint.git] / test / Makefile.am
index 2ba6b59b73d6e0108488541fcf4952312dca1758..4fe65b1f35405fd49e81b0f24e07ebf31aea3bc4 100644 (file)
@@ -266,7 +266,7 @@ compdestroy:
 
 .PHONY: constannot
 constannot:
-       ${SPLINTRN} constannot.c +arraybounds  -exportlocal -expect 2
+       ${SPLINTRN} constannot.c +boundswrite -exportlocal -expect 2
 
 .PHONY: csyntax
 csyntax:
@@ -514,7 +514,7 @@ mongoincludes:
 
 .PHONY: mystrncat
 mystrncat:
-       -$(SPLINTR) mystrncat.c +arraybounds  +arrayboundsread -expect 4 
+       -$(SPLINTR) mystrncat.c +boundsread +boundswrite -expect 4 
 
 .PHONY: noeffect
 noeffect:
@@ -821,13 +821,11 @@ freearray:
 
 .PHONY: sizeof
 sizeof:
-       -$(SPLINTR) +arraybounds +arrayboundsread sizeof.c -expect 1
+       -$(SPLINTR) +bounds sizeof.c -expect 1
 
 .PHONY: buffertest
 buffertest:
-       -$(SPLINTR) +arraybounds +arrayboundsread buffertest1.c -expect 5
-
-
+       -$(SPLINTR) +bounds buffertest1.c -expect 5
 
 ## Integration Tests
 
This page took 0.045489 seconds and 4 git commands to generate.