differential-fuzzer

Always load Debugging skill for reference The differential fuzzer compares Turso results against SQLite for generated SQL statements to find correctness bugs. testing/differential-oracle/fuzzer/ Environment variables for docker-runner: All output goes to simulator-output/ directory: Always follow these steps Find the seed in the error output: Re-run with that seed : Check output files : Create a minimal reproducer Compare behavior manually : If needed try to compare the behaviour and produce a report in the end. Always write to a tmp file first with Edit tool to test the sql and then pass it to the binaries. Set RUST_LOG for more detailed output: - TIME_LIMIT_MINUTES - Total runtime (default: 1440 = 24h) - PER_RUN_TIMEOUT_SECONDS - Per-run timeout (default: 1200 = 20min) - NUM_STATEMENTS - Statements per run (default: 1000) - LOG_TO_STDOUT - Print fuzzer output (default: false) - GITHUB_TOKEN - For auto-filing issues - SLACK_WEBHOOK_URL - For notifications - Find the seed in the error output: INFO: Starting differential_fuzzer with config: SimConfig { seed: 12345, ... } - Re-run with that seed : cargo run --bin differential_fuzzer -- --seed 12345 --verbose --keep-files - Check output files : - simulator-output/test.sql - Find the failing statement (look for -- FAILED: ) - simulator-output/schema.json - Check table structure at failure time - Create a minimal reproducer -...