Oracle — Verification Oracle

Generate test oracles from Python docstrings and verify coverage.

Quick Start

pip install -e .
oracle generate src/calculator.py -o tests/test_calculator.py
oracle check src/calculator.py --against tests/test_calculator.py

Reads a Python file, parses function signatures and >>> doctest examples, and emits a pytest test skeleton.

oracle generate <file.py> [-o <test_file.py>]

Compares an existing test file against a source file and reports missing coverage.

oracle check <file.py> --against <test_file.py>

Exit code: 0 = 100% coverage, 1 = missing tests.