I can get splint to run but it fails on the finding of any of my included header files. This seems to be a path problem and I don't know how to tell splint to look in the correct directory. I can't move all the files into one directory. I looked through the forum but don't see this issue. Thanks in advance
Robert
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
