aprender-verify 0.29.0

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework
Documentation
1
2
3
4
5
6
7
8
# cargo-mutants configuration
# See: https://mutants.rs/

# Timeout per mutant (seconds)
timeout = 300

# Exclude test files from mutation
exclude_re = ["tests/", "benches/", "examples/"]