I can't find documentation on the predefined macro __LCLINT__ anywhere. Could someone please tell me where it is documented?
Plus is there an equivalent meaning "SPLINT" or does the same serve for both? TVM David _______________________________________________ splint-discuss mailing list [email protected] http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
