Hi Everyone, I got a bunch of reported errors on some auto generated codes which we want to separate from the current work scope and come back to later. They are located in one folder directory. I know I can use /*@ignore@*/ and /*@end@*/ to suppress one file or part of it. Is there a way I can suppress all the files in one directory at one time instead of going into each one to insert the annotation.
Thanks for your coming answers, Shelley
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss