Lutger wrote:
Cool, can you do preconditions and class invariants too?

Sure.

Reply via email to