delta-io
/
delta-rs
mirror of https://github.com/delta-io/delta-rs
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
delta-rs/proofs
History
xiaolou86 7090a1260f
chore: fix typos (#1813) 		2023-11-07 05:47:31 +01:00
..
src chore: fix typos (#1813) 2023-11-07 05:47:31 +01:00
Cargo.lock Update `.gitignore` and add/remove `Cargo.lock` when appropriate (#1001) 2022-12-07 13:26:54 -08:00
Cargo.toml formally verify S3 atomic rename (#540) 2022-02-02 20:12:25 -08:00
README.md formally verify S3 atomic rename (#540) 2022-02-02 20:12:25 -08:00

README.md

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