Wiki

Changes between Version 1 and Version 2 of Contracts

Show
Ignore:
Timestamp:
08/23/10 15:44:18 (9 years ago)
Author:
nevdelap
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Contracts

    v1 v2  
    1414You can turn off contracts when building shipping software in order to boost 
    1515run-time performance and/or reduce executable size via the -contracts compiler switch.  
     16 
     17== Boolean Expressions == 
     18Be aware that Cobra gives '''and''', '''or''', and '''implies''' equal precedence which is different from the conventions of boolean logic. Since boolean expressions are the basis of contracts you should be aware of the implications to your expressions when writing your preconditions, postconditions and invariants, specifically that additional parentheses will be required where you might not expect to need them. 
    1619 
    1720== Keywords ==