File size: 729 Bytes
aef804e | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 | """
Property-Based Tests for Agent Execution Invariants
Tests CRITICAL agent execution invariants using Hypothesis:
- Execution idempotence (same inputs → same outputs)
- Graceful termination (all executions complete within deadline)
- Determinism (same inputs → same outputs across runs)
- State transition validity (PENDING → RUNNING → COMPLETED/FAILED)
- Telemetry recording (duration, token_count, error_count)
Strategic max_examples:
- 200 for critical invariants (idempotence, determinism)
- 100 for standard invariants (termination, state transitions)
- 50 for IO-bound operations (database queries)
These tests find edge cases that example-based tests miss by exploring
thousands of auto-generated inputs.
"""
|