Orchestrata Ultimate › Tests › Reference › verification › models
Tests reference — tests/verification/models
tests/verification/models — 1 test modules, 17 test functions. Source tree: tests/verification/models at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_base_model.py |
17 | 1 |
Module details
tests/verification/models/test_base_model.py
source · 17 tests · 175 lines
Tests for verification.models.base_model.
Covers: verification.models.base_model
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestModelRegistry |
72 | |
| method | TestModelRegistry.test_init_empty |
73 | |
| method | TestModelRegistry.test_register_and_get |
78 | |
| method | TestModelRegistry.test_get_missing |
85 | |
| method | TestModelRegistry.test_list_models |
89 | |
| class | TestModelFallbackChain |
96 | |
| method | TestModelFallbackChain.test_verify_first_succeeds |
97 | |
| method | TestModelFallbackChain.test_verify_fallback |
104 | |
| method | TestModelFallbackChain.test_verify_all_fail |
111 | |
| method | TestModelFallbackChain.test_analyze_first_succeeds |
118 | |
| method | TestModelFallbackChain.test_analyze_all_fail |
124 | |
| method | TestModelFallbackChain.test_model_count |
130 | |
| method | TestModelFallbackChain.test_name_is_composite_of_member_models |
134 | |
| method | TestModelFallbackChain.test_generate_proof_first_succeeds |
138 | |
| method | TestModelFallbackChain.test_generate_proof_fallback |
145 | |
| method | TestModelFallbackChain.test_generate_proof_all_fail |
152 | |
| method | TestModelFallbackChain.test_chain_satisfies_llm_protocol |
159 | ModelFallbackChain now fully implements LLMModel (name + |
| class | TestLLMModelProtocol |
166 | |
| method | TestLLMModelProtocol.test_runtime_checkable |
167 | |
| method | TestLLMModelProtocol.test_non_compliant_not_instance |
171 |