Re: Ghost fields for Contract Programming

[Denis Koroskin]

On Sat, 09 Oct 2010 23:51:44 +0400, Tomek Sowiński <j...@ask.me> wrote:

bearophile napisał:

The ghost fields may be used to store partial computations useful to reduce the work done

by the class invariant.

You can do:

class C {
  version(unittest) int temp;
  invariant() {
    // use temp
  }
}

Or am I missing something?

How often do you *run* your application with unittests enabled?