aljaz/turso
1
0
Fork 0
mirror of https://github.com/aljazceru/turso.git synced 2025-12-18 09:04:19 +01:00
Code Issues Packages Projects Releases Wiki Activity

Document using Miri to run the simulator

Browse Source
This commit is contained in:
Bob Peterson
2025-10-13 13:55:48 -05:00
parent dfc77b0350
commit 3d4c10df40
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
simulator/README.md
View File

@@ -118,6 +118,17 @@ For development purposes, you can run `make sim-schema` to generate a JsonSchema
} }
``` ```
## Run simulator using the Miri interpreter
Miri is a deterministic Rust interpreter designed to identify undefined behavior. To run the simulator under Miri, use
```bash
MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-disable-stacked-borrows" RUST_LOG=limbo_sim=debug cargo +nightly miri run --bin limbo_sim -- --disable-integrity-check
````
Notes:
- `-Zmiri-disable-isolation` is needed for host access (like opening a file)
- `-Zmiri-disable-stacked-borrows` this alias checking is experimental, so disabled for now
- `--disable-integrity-check` is needed since we can't run sqlite via the FFI in Miri
## Resources ## Resources
- [(reading) TigerBeetle Deterministic Simulation Testing](https://docs.tigerbeetle.com/about/vopr/) - [(reading) TigerBeetle Deterministic Simulation Testing](https://docs.tigerbeetle.com/about/vopr/)