root/cobra/trunk/Tests/340-contracts
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| 100-require-method.cobra | 0.5 KB | 2366 | 2 years | Fixed: Cannot use a chained comparison (0 <= i < 10) in a require or … |
| 102-ensure-method.cobra | 1.0 KB | 2426 | 21 months | Fixed: Using a struct-typed result in a method's ensure produces a … |
| 104-ensure-method-early-return.cobra | 175 bytes | 1181 | 4 years | Warn about unnecessary parens on method declarations and calls that have … |
| 106-ensure-method-use-result.cobra | 234 bytes | 1181 | 4 years | Warn about unnecessary parens on method declarations and calls that have … |
| 108-ensure-method-use-old.cobra | 244 bytes | 1181 | 4 years | Warn about unnecessary parens on method declarations and calls that have … |
| 110-ensure-method-throw.cobra | 293 bytes | 1177 | 4 years | Importing test cases. |
| 120-ensure-method-error.cobra | 134 bytes | 2319 | 2 years | Fixed: References to local variables in ensure are not flagged as … |
| 150-require-ensure-lone-ident.cobra | 0.6 KB | 1181 | 4 years | Warn about unnecessary parens on method declarations and calls that have … |
| 200-require-ensure-pro.cobra | 0.5 KB | 2046 | 3 years | Initializers must now start with a call to another initializer in the same … |
| 202-require-ensure-get-set.cobra | 0.5 KB | 2046 | 3 years | Initializers must now start with a call to another initializer in the same … |
| 204-agree-pro.cobra | 372 bytes | 2000 | 3 years | Added warning that def init should be cue init: Use "cue" to declare … |
| 300-require-ensure-constructor.cobra | 404 bytes | 2046 | 3 years | Initializers must now start with a call to another initializer in the same … |
| 304-require-ensure-abstract.cobra | 306 bytes | 1189 | 4 years | Enable abstract methods to have require, test, ensure. |
| 400-same-line.cobra | 185 bytes | 1177 | 4 years | Importing test cases. |
| 500-implies.cobra | 247 bytes | 1177 | 4 years | Importing test cases. |
| 600-inherit-require-method.cobra | 1.6 KB | 1177 | 4 years | Importing test cases. |
| 602-inherit-require-constructor.cobra | 288 bytes | 2046 | 3 years | Initializers must now start with a call to another initializer in the same … |
| 604-inherit-require-property.cobra | 1.9 KB | 2046 | 3 years | Initializers must now start with a call to another initializer in the same … |
| 606-inherit-require-indexer.cobra | 1.5 KB | 1324 | 4 years | Fixed: Cobra doesn't exclude irrelevant warnings from the C# backend for … |
| 606-inherit-require-indexer.cobra.after.cs | 10.3 KB | 1177 | 4 years | Importing test cases. |
| 606-inherit-require-indexer.cobra.before.cs | 10.8 KB | 1177 | 4 years | Importing test cases. |
| 650-inherit-ensure-method.cobra | 2.0 KB | 1177 | 4 years | Importing test cases. |
| 652-inherit-ensure-method-result.cobra | 333 bytes | 1237 | 4 years | Add new -contracts command line option with choices none|inline|methods. … |
| 700-will-check-foo.cobra | 1.6 KB | 1177 | 4 years | Importing test cases. |
| 702-result-local-var.cobra | 131 bytes | 1177 | 4 years | Importing test cases. |
| 800-must-specify-connector-implied.cobra | 0.6 KB | 1303 | 4 years | The error message for overriding contracts with "or require" and "and … |
| 900-invariant.cobra | 1.0 KB | 2419 | 22 months | Fixed: Some invariants cause an internal error. ticket:248 … |
| 902-invariant-error.cobra | 175 bytes | 2157 | 3 years | Minor improvements to the error message regarding suggestions for unknown … |
| 920-contracts-none.cobra | 0.7 KB | 1239 | 4 years | Support and test the -contracts:none option. |
| testify.kv | 46 bytes | 1241 | 4 years | Enhanced -testify to read a new testify.kv file in directories, and added … |
Note: See TracBrowser
for help on using the browser.
