search

sparsemat / sprs

sparse linear algebra library for rust
Apache License 2.0
381 stars 45 forks source link

add miri workflow #262

Closed mulimoen closed 3 years ago

mulimoen commented 3 years ago

If we have to add some unsafe code we should ensure we don't do it wildly wrong. I suggest adding miri to the CI which could catch some undefined behaviour.

The io module can not be tested with miri as file operations are not supported

vbarrielle commented 3 years ago

That's a good idea indeed, thanks!