[splint-discuss] Postconditions for function with @ensures maxSet@
splint at sympatico.ca
Fri Jan 15 11:10:50 PST 2010
On 15 Jan 2010, m at alanny.ru wrote:
> Hi there. I'm having trouble with @ensures maxSet@ annotation.
> As you can see, annotations on declaration and definition are the same. But
> error arrives.
> Where is my mistake?
You only need to define an annotation once. I would suggest that you
always do it with the prototype unless you are relying on the function
definition's position within the file (and have no prototype).
If it weren't for pickpockets I'd have no sex life at all.
- Rodney Dangerfield
More information about the splint-discuss