# Proptest configuration for libdictenstein
# See: https://proptest-rs.github.io/proptest/proptest-config/index.html
[]
# Number of test cases per property
= 256
# Fork tests into separate processes for isolation
= true
# Verbosity level (0-2)
= 1
# Maximum shrinking iterations when finding minimal failing case
= 10000
# Timeout per test case in milliseconds
= 30000
# Directory for regression test files
= "proptest-regressions"