Orchestrata Ultimate › Tests › Reference › generated_core › test_prolog_adapter_generated
Tests reference — tests/generated_core/test_prolog_adapter_generated.py
Module of tests/generated_core, split out because the directory page would be too large.
Prose pending.
tests/generated_core/test_prolog_adapter_generated.py
source · 21 tests · 940 lines
Generated unit tests for src/orchestrata_ultimate/core/prolog_adapter.py.
Covers: core.prolog_adapter
| Kind | Name | Line | Description |
|---|---|---|---|
| function | test_proof_result___init___line_62_interface |
19 | Test that ProofResult.init interface hasn't changed. |
| function | test_prolog_engine___init___line_99_interface |
87 | Test that PrologEngine.init interface hasn't changed. |
| function | test_prolog_engine_close_line_131_interface |
148 | Test that PrologEngine.close interface hasn't changed. |
| function | test_prolog_engine_close_line_131_smoke |
202 | Smoke test: call PrologEngine.close to exercise code. |
| function | test_prolog_engine_backend_line_158_interface |
228 | Test that PrologEngine.backend property exists. |
| function | test_prolog_engine_consult_line_161_interface |
238 | Test that PrologEngine.consult interface hasn't changed. |
| function | test_prolog_engine_consult_line_161_smoke |
299 | Smoke test: call PrologEngine.consult to exercise code. |
| function | test_prolog_engine_assertz_line_165_interface |
326 | Test that PrologEngine.assertz interface hasn't changed. |
| function | test_prolog_engine_assertz_line_165_smoke |
387 | Smoke test: call PrologEngine.assertz to exercise code. |
| function | test_prolog_engine_retract_line_172_interface |
414 | Test that PrologEngine.retract interface hasn't changed. |
| function | test_prolog_engine_retract_line_172_smoke |
475 | Smoke test: call PrologEngine.retract to exercise code. |
| function | test_prolog_engine_retractall_line_176_interface |
502 | Test that PrologEngine.retractall interface hasn't changed. |
| function | test_prolog_engine_retractall_line_176_smoke |
563 | Smoke test: call PrologEngine.retractall to exercise code. |
| function | test_prolog_engine_query_line_180_interface |
590 | Test that PrologEngine.query interface hasn't changed. |
| function | test_prolog_engine_query_line_180_smoke |
651 | Smoke test: call PrologEngine.query to exercise code. |
| function | test_prolog_engine_query_once_line_184_interface |
678 | Test that PrologEngine.query_once interface hasn't changed. |
| function | test_prolog_engine_query_once_line_184_smoke |
739 | Smoke test: call PrologEngine.query_once to exercise code. |
| function | test_prolog_engine_query_explained_line_189_interface |
766 | Test that PrologEngine.query_explained interface hasn't changed. |
| function | test_prolog_engine_query_explained_line_189_smoke |
835 | Smoke test: call PrologEngine.query_explained to exercise code. |
| function | test_query_explained_line_218_interface |
863 | Test that module.query_explained interface hasn't changed. |
| function | test_query_explained_line_218_smoke |
929 | Smoke test: call query_explained to exercise code. |