ml_switcheroo.testing.runner

Execution Engine for Semantics Verification (Hypothesis Integration).

Uses hypothesis to generate property-based test cases for operations. Maps ODL definitions to Strategies and executes cross-framework comparison.

Classes

EquivalenceRunner

Module Contents

class ml_switcheroo.testing.runner.EquivalenceRunner

fuzzer

verify(variants: Dict[str, Any], params: List[str], hints: Dict[str, str] | None = None, constraints: Dict[str, Dict] | None = None, shape_calc: str | None = None, rtol: float = 0.001, atol: float = 0.0001) → Tuple[bool, str]

Runs property-based verification using Hypothesis.