# Loom Concurrency Model Checks
This directory contains loom-based concurrency model checks for conform's shared state.
## Prerequisites
```bash
# Ensure loom is fetched
cargo fetch
```
## Running the tests
Each loom test is gated behind `#[cfg(loom)]` and lives in `conform/tests/loom_*.rs`.
Run an individual test suite:
```bash
RUSTFLAGS='--cfg loom' cargo test --test loom_spec_registry
RUSTFLAGS='--cfg loom' cargo test --test loom_regression_store
RUSTFLAGS='--cfg loom' cargo test --test loom_certificate_writer
RUSTFLAGS='--cfg loom' cargo test --test loom_witness_dispatcher
RUSTFLAGS='--cfg loom' cargo test --test loom_shared_rng
```
Run all loom tests at once:
```bash
RUSTFLAGS='--cfg loom' cargo test --test loom_
```
Or simply:
```bash
RUSTFLAGS='--cfg loom' cargo test
```
> **Note:** Loom tests explore every interleaving of sync points. Keep thread counts and iteration counts small to keep model-checking time reasonable.