Orchestrata Ultimate › Tests › Reference › generated_recovery › test_verification_spec_completeness
Tests reference — tests/generated_recovery/test_verification_spec_completeness.py
Module of tests/generated_recovery, split out because the directory page would be too large.
Prose pending.
tests/generated_recovery/test_verification_spec_completeness.py
source · 8 tests · 134 lines
Auto-generated tests for: verification.spec_completeness
Covers: verification.spec_completeness
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestEvaluateSpecCompletenessBranches |
32 | Branch/exception tests for: verification.spec_completeness.evaluate_spec_completeness |
| method | TestEvaluateSpecCompletenessBranches.test_L212_when_not_spec_id_true |
56 | Line 212: condition not spec_id is True. |
| method | TestEvaluateSpecCompletenessBranches.test_L212_when_not_spec_id_false |
66 | Line 212: condition not spec_id is False. |
| method | TestEvaluateSpecCompletenessBranches.test_L217_when_not_req_facts_true |
76 | Line 217: condition not req_facts is True. |
| method | TestEvaluateSpecCompletenessBranches.test_L217_when_not_req_facts_false |
86 | Line 217: condition not req_facts is False. |
| method | TestEvaluateSpecCompletenessBranches.test_L236_when_prolog_result_true |
96 | Line 236: condition prolog_result is True. |
| method | TestEvaluateSpecCompletenessBranches.test_L236_when_prolog_result_false |
106 | Line 236: condition prolog_result is False. |
| method | TestEvaluateSpecCompletenessBranches.test_L242_when_not_gap_strs_and_gaps_true |
116 | Line 242: condition not gap_strs and gaps is True. |
| method | TestEvaluateSpecCompletenessBranches.test_L242_when_not_gap_strs_and_gaps_false |
126 | Line 242: condition not gap_strs and gaps is False. |