differential-fuzzer

SKILL.md

Property-based fuzzer that compares Turso against SQLite to catch SQL correctness bugs.

Generates random SQL statements and schemas, then executes them on both Turso and SQLite to detect mismatches in row sets, error handling, or schema state

Supports deterministic reproduction via seed-based runs, configurable statement/table/column counts, and verbose output for debugging

Includes continuous loop mode for extended fuzzing campaigns and Docker runner for CI with configurable timeouts, GitHub issue auto-filing, and Slack notifications

Outputs detailed logs (test.sql, schema.json) and persists database files on demand for manual inspection and minimal reproducer creation

Differential Fuzzer

Always load Debugging skill for reference

The differential fuzzer compares Turso results against SQLite for generated SQL statements to find correctness bugs.

Location

testing/differential-oracle/fuzzer/

Running the Fuzzer

Single Run

# Basic run (100 statements, random seed)
cargo run --bin differential_fuzzer