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
38
39
40
41
42
# Miri Test Configuration
# https://github.com/rust-lang/miri
#
# Miri is a formal verification tool for Rust that interprets your code
# to find undefined behavior, memory leaks, and data races.
#
# Usage:
# cargo +nightly miri test --features "parallel,tensor"
#
# This runs all tests under Miri, checking for:
# - Memory safety violations
# - Data races in concurrent code
# - Undefined behavior
# - Memory leaks
[]
# Increase Miri's stack size for deep recursion tests
= "16777216"
# Enable backtrace for better debugging
= "1"
# Test specific modules with known unsafe code
[]
# Cache alignment and padding tests
= ["--features", "parallel"]
# Memory pool tests (heavy allocator usage)
= ["--features", "tensor-pool"]
# Parallel algorithm tests (check for data races)
= ["--features", "parallel"]
# Tensor operation tests
= ["--features", "tensor,simd"]
# Graph traversal tests
= []
# Known issues to skip (if any)
# [skip]
# "some_test_name" = "reason: description"