Orchestrata Ultimate › Tests › Reference › verification › impossibility
Tests reference — tests/verification/impossibility
tests/verification/impossibility — 2 test modules, 9 test functions. Source tree: tests/verification/impossibility at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_handler.py |
9 | 2 |
Module details
tests/verification/impossibility/test_handler.py
source · 9 tests · 97 lines
Tests for verification.impossibility.handler.
Covers: verification.impossibility.handler, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestImpossibilityHandler |
27 | |
| method | TestImpossibilityHandler.test_detect_contradictions_empty |
28 | |
| method | TestImpossibilityHandler.test_detect_contradictions_none |
32 | |
| method | TestImpossibilityHandler.test_detect_contradictions_performance |
39 | |
| method | TestImpossibilityHandler.test_detect_contradictions_quality |
53 | |
| method | TestImpossibilityHandler.test_no_contradiction_same_value |
62 | |
| method | TestImpossibilityHandler.test_detect_impossible_performance_zero |
74 | |
| method | TestImpossibilityHandler.test_detect_impossible_performance_negative |
81 | |
| method | TestImpossibilityHandler.test_detect_impossible_quality_over_100 |
87 | |
| method | TestImpossibilityHandler.test_detect_impossible_none |
94 |
Support files
Fixtures, package markers and helpers without test functions.