Skip to content

Commit

Permalink
Merge pull request #339 from AndrejMitrovic/FixDBC
Browse files Browse the repository at this point in the history
Make note that asserts are gone in release mode except the special assert(0)
  • Loading branch information
9rnsr committed Jun 12, 2013
2 parents 9637193 + 6f3e91b commit 9f0a41b
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions dbc.dd
Expand Up @@ -45,6 +45,11 @@ assert(expression);
when the code must deal with errant uses by other code, when it must be
failure proof, and as a useful tool for debugging.

$(P When compiling for release, the assert code is not generated.
The special $(D assert(0)) expression, however, is generated even in
release mode. See the $(GLINK2 expression, AssertExpression) documentation
for more information.)

$(H2 Pre and Post Contracts)

The pre contracts specify the preconditions before a statement is executed. The most
Expand Down

0 comments on commit 9f0a41b

Please sign in to comment.