limbo/testing/sqlancer/README.md

597 B

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