]> andersk Git - splint.git/blob - test/moreBufferTests2/Makefile
Fixed off by one bug involving arrays initialized with a block of values.
[splint.git] / test / moreBufferTests2 / Makefile
1 .PHONY: check
2
3 #SPLINT = splint
4  
5 check:
6         $(SPLINT) -exportlocal +bounds unknownsize.c arrayConstExpr.c -expect 1
7         $(SPLINT) -exportlocal +bounds fixedArrayType.c -expect 1
8         $(SPLINT) -exportlocal +bounds initBlock.c -expect 1
9
This page took 0.066553 seconds and 5 git commands to generate.