feature request: @OnlyProvedNotTested

[GoogleCodeExporter]

Annotating a method with the @OnlyProvedNotTested annotation is a way of 
indicating to the reader/maintainer: "Beware of bugs in the above code; I have 
only proved it correct, not tried it."

It should take an optional string containing the actual proof, or a link to a 
document where the proof is written out.

An engineer who is spending his or her time writing unit tests would be advised 
to search the codebase for this annotation, and devote lots of time to writing 
tests for any method that has this annotation, at which point the annotation 
could be removed.

Original issue reported on code.google.com by [email protected] on 11 Apr 2013 at 2:02