[splint.git] / test / db3 / .splintrc

-allimponly
+allmacros
+czech +distinctexternalnames -externalnamelength 14 
+distinctinternalnames +internalnamelookalike 
-uncheckedmacroprefix ^~* 
-enumprefix ^^~*
Commit	Line	Data
885824d3	1	-allimponly
	2	+allmacros
	3	+czech +distinctexternalnames -externalnamelength 14
	4	+distinctinternalnames +internalnamelookalike
	5	-uncheckedmacroprefix ^~*
	6	-enumprefix ^^~*