Orchestrata Ultimate › Tests › Reference › generated_recovery › test_governance_prolog_gate
Tests reference — tests/generated_recovery/test_governance_prolog_gate.py
Module of tests/generated_recovery, split out because the directory page would be too large.
Prose pending.
tests/generated_recovery/test_governance_prolog_gate.py
source · 22 tests · 342 lines
Auto-generated tests for: governance.prolog_gate
Covers: governance.prolog_gate
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestPrologGateLoadRulesBranches |
32 | Branch/exception tests for: governance.prolog_gate.PrologGate.load_rules |
| method | TestPrologGateLoadRulesBranches.test_handles_Exception_L23 |
64 | Line 23: Exception handler — suppressed. |
| method | TestPrologGateLoadRulesBranches.test_L40_when_os_path_exists_path_true |
70 | Line 40: condition os.path.exists(path) is True. |
| method | TestPrologGateLoadRulesBranches.test_L40_when_os_path_exists_path_false |
78 | Line 40: condition os.path.exists(path) is False. |
| class | TestPrologGateMayCompleteBranches |
87 | Branch/exception tests for: governance.prolog_gate.PrologGate.may_complete |
| method | TestPrologGateMayCompleteBranches.test_L121_when_not_self_loaded_true |
112 | Line 121: condition not self.loaded is True. |
| method | TestPrologGateMayCompleteBranches.test_L121_when_not_self_loaded_false |
121 | Line 121: condition not self.loaded is False. |
| method | TestPrologGateMayCompleteBranches.test_handles_Exception_L125 |
130 | Line 125: Exception handler — suppressed. |
| method | TestPrologGateMayCompleteBranches.test_handles_Exception_L141 |
138 | Line 141: Exception handler — suppressed. |
| method | TestPrologGateMayCompleteBranches.test_L143_when_results_true |
146 | Line 143: condition results is True. |
| method | TestPrologGateMayCompleteBranches.test_L143_when_results_false |
154 | Line 143: condition results is False. |
| class | TestPrologGateMayExecuteBranches |
163 | Branch/exception tests for: governance.prolog_gate.PrologGate.may_execute |
| method | TestPrologGateMayExecuteBranches.test_L88_when_not_self_loaded_true |
187 | Line 88: condition not self.loaded is True. |
| method | TestPrologGateMayExecuteBranches.test_L88_when_not_self_loaded_false |
196 | Line 88: condition not self.loaded is False. |
| method | TestPrologGateMayExecuteBranches.test_handles_Exception_L90 |
205 | Line 90: Exception handler — suppressed. |
| method | TestPrologGateMayExecuteBranches.test_L93_when_results_true |
213 | Line 93: condition results is True. |
| method | TestPrologGateMayExecuteBranches.test_L93_when_results_false |
221 | Line 93: condition results is False. |
| method | TestPrologGateMayExecuteBranches.test_L101_when_existence_error_in_message_or_unknown_pr_true |
229 | Line 101: condition 'existence_error' in message or 'unknown procedure' in message is True. |
| method | TestPrologGateMayExecuteBranches.test_L101_when_existence_error_in_message_or_unknown_pr_false |
239 | Line 101: condition 'existence_error' in message or 'unknown procedure' in message is False. |
| class | TestPrologGateAssertFactBranches |
250 | Branch/exception tests for: governance.prolog_gate.PrologGate.assert_fact |
| method | TestPrologGateAssertFactBranches.test_L159_when_self_loaded_true |
270 | Line 159: condition self.loaded is True. |
| method | TestPrologGateAssertFactBranches.test_L159_when_self_loaded_false |
279 | Line 159: condition self.loaded is False. |
| method | TestPrologGateAssertFactBranches.test_handles_Exception_L160 |
288 | Line 160: Exception handler — suppressed. |
| class | TestPrologGateRetractOpenQuestionBranches |
295 | Branch/exception tests for: governance.prolog_gate.PrologGate.retract_open_question |
| method | TestPrologGateRetractOpenQuestionBranches.test_L176_when_self_loaded_true |
314 | Line 176: condition self.loaded is True. |
| method | TestPrologGateRetractOpenQuestionBranches.test_L176_when_self_loaded_false |
325 | Line 176: condition self.loaded is False. |
| method | TestPrologGateRetractOpenQuestionBranches.test_handles_Exception_L177 |
336 | Line 177: Exception handler — suppressed. |