Orchestrata Ultimate › Tests › Reference › verification › proofs
Tests reference — tests/verification/proofs
tests/verification/proofs — 1 test modules, 9 test functions. Source tree: tests/verification/proofs at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.
Prose pending.
Modules
| Module | Tests | Covers |
|---|---|---|
test_verifier.py |
9 | 2 |
Module details
tests/verification/proofs/test_verifier.py
source · 9 tests · 151 lines
Tests for verification.proofs.verifier.
Covers: verification.proofs.verifier, verification.types
| Kind | Name | Line | Description |
|---|---|---|---|
| class | TestProofVerifier |
29 | |
| method | TestProofVerifier.test_verify_exhaustive_search_valid |
34 | |
| method | TestProofVerifier.test_verify_exhaustive_search_invalid |
47 | |
| method | TestProofVerifier.test_verify_logical_deduction_valid |
60 | |
| method | TestProofVerifier.test_verify_logical_deduction_invalid |
73 | |
| method | TestProofVerifier.test_verify_mathematical_valid |
86 | |
| method | TestProofVerifier.test_verify_mathematical_invalid |
100 | |
| method | TestProofVerifier.test_verify_practical_explanation_valid |
113 | |
| method | TestProofVerifier.test_verify_practical_explanation_invalid |
126 | |
| method | TestProofVerifier.test_verify_unknown_type |
139 |