tmp/tmp6xhvlgtd/{from.md → to.md}
RENAMED
|
@@ -0,0 +1,7 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
**Table: Enum `detection_mode`** <a id="support.contract.enum.detection">[support.contract.enum.detection]</a>
|
| 2 |
+
|
| 3 |
+
| Name | Meaning |
|
| 4 |
+
| ---------------------- | ------------------------------------------------------------------------------------------------ |
|
| 5 |
+
| `predicate_false` | The predicate of the contract assertion evaluated to `false` or would have evaluated to `false`. |
|
| 6 |
+
| `evaluation_exception` | An uncaught exception occurred during evaluation of the contract assertion. |
|
| 7 |
+
|