Lighthouse has a new layout. Prefer the old one? Return to the old layout, and switch back any time from the link at the top of each page.

Annotation contract support for Target.METHOD

#6

currently, only Target.PARAMETER is supported.

Target.METHOD should be supported in order to specify full fledged reusable pre- and postconditions.

Reported by me (at andresteingress) · March 15th, 2011 @ 12:02 PM

State: invalid
Milestone: 1.2.1
Assigned to: me (at andresteingress) me (at andresteingress)

Activity

Please Sign in or create a free account to add a new ticket.

With your very own profile, you can contribute to projects, track your activity, watch tickets, receive and update tickets through your email and much more.