differential-fuzzer

Installation
Summary

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
SKILL.md

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

# With specific seed for reproducibility
Related skills
Installs
582
GitHub Stars
18.7K
First Seen
Jan 28, 2026