Orchestrata Ultimate › Tests › Reference › verification › impossibility

Tests reference — tests/verification/impossibility

tests/verification/impossibility — 2 test modules, 9 test functions. Source tree: tests/verification/impossibility at commit 8a2cb42ad. Generated from the tests AST snapshot by scripts/gen-data-pages.py.

Prose pending.

Modules

Module Tests Covers
test_handler.py 9 2

Module details

tests/verification/impossibility/test_handler.py

source · 9 tests · 97 lines

Tests for verification.impossibility.handler.

Covers: verification.impossibility.handler, verification.types

Kind Name Line Description
class TestImpossibilityHandler 27
method TestImpossibilityHandler.test_detect_contradictions_empty 28
method TestImpossibilityHandler.test_detect_contradictions_none 32
method TestImpossibilityHandler.test_detect_contradictions_performance 39
method TestImpossibilityHandler.test_detect_contradictions_quality 53
method TestImpossibilityHandler.test_no_contradiction_same_value 62
method TestImpossibilityHandler.test_detect_impossible_performance_zero 74
method TestImpossibilityHandler.test_detect_impossible_performance_negative 81
method TestImpossibilityHandler.test_detect_impossible_quality_over_100 87
method TestImpossibilityHandler.test_detect_impossible_none 94

Support files

Fixtures, package markers and helpers without test functions.