Hi, sorry for not replying correctly, I've just enable my splint archive account.
I've submitted a pull request to revenexp not long ago for this problem: https://github.com/ravenexp/splint/pull/1 Take a look, it's looking quite similar. Robert
_______________________________________________ splint-discuss mailing list splint-discuss@mail.cs.virginia.edu http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
