Run miri in the testuite

bluss / matrixmultiply

General matrix multiplication of f32 and f64 matrices in Rust. Supports matrices with general strides.

https://docs.rs/matrixmultiply/

Apache License 2.0

213 stars 25 forks source link

Closed bluss closed 3 years ago

bluss commented 3 years ago

Threading is supported in miri, except the num_cpus::get_physical call which needs the disable isolation flag
Miri is extremely slow at running the full unoptimized gemm loop unfortunately, any non-trivial matrix sizes are skipped in tests (which is a shame, there are more branches to cover for larger sizes).