Orchestrata Ultimate › Tests › Reference › verification › constraints
Tests reference — tests/verification/constraints
tests/verification/constraints — 3 test modules, 38 test functions. Source tree: tests/verification/constraints at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_definitions.py |
11 | 2 |
test_evaluator.py |
27 | 3 |
Module details
tests/verification/constraints/test_definitions.py
source · 11 tests · 89 lines
Tests for verification.constraints.definitions.
Covers: verification.constraints.definitions, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestIsBlocking |
32 | |
| method | TestIsBlocking.test_high_priority_is_blocking |
33 | |
| method | TestIsBlocking.test_low_priority_not_blocking |
37 | |
| method | TestIsBlocking.test_security_is_blocking_regardless_of_priority |
41 | |
| method | TestIsBlocking.test_performance_not_blocking_low_priority |
45 | |
| class | TestGroupByType |
50 | |
| method | TestGroupByType.test_groups_correctly |
51 | |
| method | TestGroupByType.test_empty_list |
59 | |
| class | TestSortByPriority |
63 | |
| method | TestSortByPriority.test_sorts_descending |
64 | |
| method | TestSortByPriority.test_empty_list |
71 | |
| class | TestFilterByType |
75 | |
| method | TestFilterByType.test_filters |
76 | |
| method | TestFilterByType.test_no_match |
83 | |
| method | TestFilterByType.test_empty_list |
88 |
tests/verification/constraints/test_evaluator.py
source · 27 tests · 389 lines
Covers: core.paths, verification.constraints.evaluator, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| function | test_evaluator_init_none |
43 | |
| function | test_evaluator_init_with_prolog |
48 | |
| function | test_evaluate_missing_context |
58 | |
| function | test_evaluate_performance_satisfied |
72 | |
| function | test_evaluate_performance_not_met |
81 | |
| function | test_evaluate_performance_non_numeric |
90 | |
| function | test_evaluate_quality_numeric_satisfied |
104 | |
| function | test_evaluate_quality_numeric_not_met |
113 | |
| function | test_evaluate_quality_non_numeric_expected |
122 | |
| function | test_evaluate_quality_non_numeric_false |
131 | |
| function | test_evaluate_security_true |
145 | |
| function | test_evaluate_security_false |
154 | |
| function | test_evaluate_default_equal |
168 | |
| function | test_evaluate_default_not_equal |
177 | |
| function | test_evaluate_default_none_expected_truthy |
186 | |
| function | test_evaluate_default_none_expected_falsy |
195 | |
| function | test_evaluate_all_empty |
209 | |
| function | test_evaluate_all_multiple |
214 | |
| function | test_evaluate_with_dependencies_empty |
231 | |
| function | test_evaluate_with_dependencies_chain_satisfied |
236 | |
| function | test_evaluate_with_dependencies_chain_blocked |
248 | |
| function | test_evaluate_with_dependencies_missing |
261 | |
| function | test_evaluate_with_dependencies_circular_via_cache |
269 | |
| function | test_evaluator_lazily_constructs_real_bridge_on_first_evaluate |
286 | No bridge injected: init leaves self._prolog None (unchanged -- |
| function | test_evaluate_genuinely_consults_prolog_not_a_ladder |
310 | Acceptance criterion: with a real bridge whose rulebase says a |
| function | test_evaluate_raises_when_bridge_cannot_answer_not_silently_computed |
352 | No bridge genuinely able to answer => raise, not a Python-computed |
| function | test_evaluate_unsupported_type_raises_not_silently_computed |
378 | No Python fallback for unmarshalable input either: a constraint |
Support files
Fixtures, package markers and helpers without test functions.