1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
# proptest.toml
# EdgeVec Property Testing Configuration
#
# This file configures proptest behavior across the entire project.
# Environment variables can override these settings:
# - PROPTEST_CASES: Override case count (default: 256)
# - CI environments should set PROPTEST_CASES=32 for faster builds
#
# W18.2: CI Hardening — Eliminates proptest regression file warnings
[]
# Default cases for local development (more thorough)
# CI overrides this via PROPTEST_CASES=32 environment variable
= 256
# Reduce shrinking iterations for faster failure diagnosis
= 100
# Disable persistence files to avoid CI warnings
# Persistence is useful for local debugging but causes noise in CI
# Set to "off" to prevent .proptest-regressions files
= "off"
# Fork to catch panics in separate process
# Disabled for WASM compatibility
= false
# Timeout per test case (milliseconds)
# 30 seconds should be sufficient for any single case
= 30000
# Verbose output level (0 = minimal)
= 0
# Source file for regression persistence (when enabled)
# Not used when failure_persistence = "off"
= "proptest-regressions"