Annotated example

The following link allows you to download a set of classes completely annotated with memory usage contracts and lifetime annotations. The annotations are verifiable by the tool.

Download example