search

mlaveaux / mCRL2-rust

A rust wrapper for the library functionality of the mCRL2 toolset
https://mlaveaux.github.io/mCRL2-rust/
Boost Software License 1.0
0 stars 0 forks source link

There are segmentation faults due to threading issues #16

Open mlaveaux opened 2 months ago

mlaveaux commented 2 months ago

These can be reproduced with the command cargo test --release -p mcrl2, and occur due to the forced garbage collection test. The stack trace leads into mCRL2, but it is not yet clear whether it is an upstream issue.