.PHONY: check clean

SPLINT = splint

DIRTESTS =  \
	    erik \
	    boolcomp \
	    boolenum \
	    addassign \
	    toralf \
	    fred \
	    sizeof \
	    arrayparam \
	    notreached \
	    duff \
	    obviousloop \
	    bitops1 \
	    bitops2 \
	    isalpha1 \
	    isalpha2 \
	    dobb \
	    popik \
	    floatdouble

# not used
# DIRTESTS += florian

check: $(DIRTESTS)

.PHONY: erik
erik:
	-$(SPLINT) erik.c -expect 1

.PHONY: boolcomp
boolcomp:
	-$(SPLINT) boolcomp.c -expect 6

.PHONY: boolenum
boolenum:
	-$(SPLINT) boolenum.c

.PHONY: addassign
addassign:
	-$(SPLINT) addassign.c -expect 1

.PHONY: toralf
toralf:
	-$(SPLINT) toralf.c -expect 5

.PHONY: fred
fred:
	-$(SPLINT) fred.c -booltype Bool

.PHONY: sizeof
sizeof:
	-$(SPLINT) sizeof.c

.PHONY: arrayparam
arrayparam:
	-$(SPLINT) arrayparam.c -expect 4

.PHONY: notreached
notreached:
	-$(SPLINT) notreached.c

.PHONY: duff
duff:
	-$(SPLINT) duff.c -casebreak -firstcase

.PHONY: obviousloop
obviousloop:
	-$(SPLINT) obviousloop.c -expect 4

.PHONY: bitops1
bitops1:
	-$(SPLINT) bitops.c +bitwisesigned -expect 13

.PHONY: bitops2
bitops2:
	-$(SPLINT) bitops.c -expect 7

.PHONY: isalpha1
isalpha1:
	-$(SPLINT) isalpha.c +strictlib -expect 1

.PHONY: isalpha2
isalpha2:
	-$(SPLINT) isalpha.c

.PHONY: dobb
dobb:
	-$(SPLINT) dobb.c

.PHONY: popik
popik:
	-$(SPLINT) popik.c -expect 11

.PHONY: floatdouble
floatdouble:
	-$(SPLINT) -varuse floatdouble.c -expect 2

