This folder contains formal specs for various parts of delta-rs implemented using stateright.

Usage

To model check current specs:

cargo run --release check --worker-count 3

To explore problematic states with visualization UI for debugging:

cargo run --release explore --worker-count 3