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
tbreisac...@google.comon 11 Apr 2013 at 2:02