1#!/usr/bin/env bash
2# Runs Loom tests with defaults for Loom's configuration values.
3#
4# The tests are compiled in release mode to improve performance, but debug
5# assertions are enabled.
6#
7# Any arguments to this script are passed to the `cargo test` invocation.
8
9RUSTFLAGS="${RUSTFLAGS} --cfg loom -C debug-assertions=on" \
10    LOOM_MAX_PREEMPTIONS="${LOOM_MAX_PREEMPTIONS:-2}" \
11    LOOM_CHECKPOINT_INTERVAL="${LOOM_CHECKPOINT_INTERVAL:-1}" \
12    LOOM_LOG=1 \
13    LOOM_LOCATION=1 \
14    cargo test --release --lib "$@"
15