Orchestrata Ultimate › Tests › Reference › generated_recovery › test_verification_impossibility_handler
Tests reference — tests/generated_recovery/test_verification_impossibility_handler.py
Module of tests/generated_recovery, split out because the directory page would be too large.
Prose pending.
tests/generated_recovery/test_verification_impossibility_handler.py
source · 6 tests · 130 lines
Auto-generated tests for: verification.impossibility.handler
Covers: verification.impossibility.handler
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestImpossibilityHandlerDetectContradictionsBranches |
32 | Branch/exception tests for: verification.impossibility.handler.ImpossibilityHandler.detect_contradictions |
| method | TestImpossibilityHandlerDetectContradictionsBranches.test_L30_when_len_group_2_true |
60 | Line 30: condition len(group) < 2 is True. |
| method | TestImpossibilityHandlerDetectContradictionsBranches.test_L30_when_len_group_2_false |
68 | Line 30: condition len(group) < 2 is False. |
| method | TestImpossibilityHandlerDetectContradictionsBranches.test_L34_when_self_are_contradictory_c1_c2_true |
76 | Line 34: condition self._are_contradictory(c1, c2) is True. |
| method | TestImpossibilityHandlerDetectContradictionsBranches.test_L34_when_self_are_contradictory_c1_c2_false |
84 | Line 34: condition self._are_contradictory(c1, c2) is False. |
| class | TestImpossibilityHandlerDetectImpossibleBranches |
93 | Branch/exception tests for: verification.impossibility.handler.ImpossibilityHandler.detect_impossible |
| method | TestImpossibilityHandlerDetectImpossibleBranches.test_L52_when_reason_true |
116 | Line 52: condition reason is True. |
| method | TestImpossibilityHandlerDetectImpossibleBranches.test_L52_when_reason_false |
124 | Line 52: condition reason is False. |