search

moves-rwth / storm

A Modern Probabilistic Model Checker
https://www.stormchecker.org
GNU General Public License v3.0
138 stars 75 forks source link

Apple-silicon implies single-threaded sylvan #600

Open sjunges opened 2 months ago

sjunges commented 2 months ago

Based on an internal discussion.

tquatmann commented 2 months ago

If I see this correctly, we simply need to return 1u here and in line 55 if compiling on Apple silicon. Do we already use a #DEFINE ... to detect Apple silicon builds somewhere?

volkm commented 2 months ago

613 adds this workaround.

To fix it, we might want to look into https://github.com/trolando/sylvan/issues/42.