limbo/testing/sqlancer
2025-12-11 17:18:11 +02:00
..
patches Add run-sqlancer.sh script to run sqlancer using Turso java bindings 2025-12-11 17:18:11 +02:00
README.md Add run-sqlancer.sh script to run sqlancer using Turso java bindings 2025-12-11 17:18:11 +02:00

SQLancer Testing

Run SQLancer against Limbo to find bugs.

Usage

./scripts/run-sqlancer.sh              # 60s default
./scripts/run-sqlancer.sh --timeout 300  # 5 minutes
./scripts/run-sqlancer.sh --clean      # force rebuild

Requirements

  • Java 11+
  • Rust toolchain

Logs

/tmp/sqlancer-limbo/logs/limbo/ - one file per database with all executed SQL.

Updating

Edit patches/LimboProvider.java:

  • Remove from LIMBO_EXPECTED_ERRORS when features are implemented
  • Add to DEFAULT_PRAGMAS when new pragmas are supported