smith

# nextest configuration for smith.
# Source of truth: .system/RULES.md, Testing. No profile retries: a flaky
# test is a bug, and a retry would hide exactly what the gate measures.

# Every commit: unit, property, snapshot, and bound tests.
[profile.default]
retries = 0
slow-timeout = "30s"
fail-fast = false
default-filter = 'not binary(/^e2e_/)'

[profile.default.junit]
path = "junit.xml"

# Every push: the real binary through cli, eval, and rpc.
[profile.e2e]
retries = 0
slow-timeout = "60s"
fail-fast = false
default-filter = 'binary(/^e2e_/)'

[profile.e2e.junit]
path = "junit.xml"

# Selected by cargo-mutants via additional_cargo_test_args.
# Every tier, e2e included: a mutant in the binary must meet the binary tests.
[profile.mutants]
retries = 0
fail-fast = true
slow-timeout = "60s"
default-filter = 'all()'