Orchestrata Ultimate › Tests › Reference › session › test_session_prolog_facts
Tests reference — tests/session/test_session_prolog_facts.py
Module of tests/session, split out because the directory page would be too large.
Prose pending.
tests/session/test_session_prolog_facts.py
source · 14 tests · 148 lines
Tests for PrologFactBridge.
Covers: core.paths, infra.prolog_bridge, session.prolog_facts, session.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestInit |
54 | Test initialization. |
| method | TestInit.test_with_bridge |
57 | |
| method | TestInit.test_without_bridge |
60 | |
| method | TestInit.test_set_bridge |
63 | |
| class | TestAssertFact |
68 | Test fact assertion. |
| method | TestAssertFact.test_assert_fact |
71 | |
| method | TestAssertFact.test_assert_increments_count |
76 | |
| method | TestAssertFact.test_assert_without_bridge |
81 | |
| class | TestBatchAssert |
87 | Test batch assertion. |
| method | TestBatchAssert.test_batch_assert |
90 | |
| method | TestBatchAssert.test_batch_assert_without_bridge |
95 | |
| class | TestQueryFacts |
101 | Test fact querying. |
| method | TestQueryFacts.test_query_facts_returns_list |
104 | |
| method | TestQueryFacts.test_query_with_type |
108 | |
| method | TestQueryFacts.test_query_without_bridge |
114 | |
| class | TestClearFacts |
119 | Test fact clearing. |
| method | TestClearFacts.test_clear_session_facts |
122 | |
| method | TestClearFacts.test_clear_without_bridge |
128 | |
| class | TestFactToTerm |
133 | Test fact-to-term conversion. |
| method | TestFactToTerm.test_term_format |
136 |