user@domain.invalid Wrote: > I still think I would like it if you could be a little more explicit > about the in/out blocks. Are they always disabled entirely (skipped) > with -release, or just certain things? > > Thanks for your help! > > -Kai Meyer
"By definition, if a pre contract fails, then the body received bad parameters. An AssertError is thrown. If a post contract fails, then there is a bug in the body. An AssertError is thrown. " http://www.digitalmars.com/d/2.0/dbc.html