run tests in miri
Opened this issue · 1 comments
hawkw commented
it's probably a bad idea to try to run the loom
tests in miri, since they are quite long & running code in miri is significantly slower than running actual compiled code. but, then, we would need a good way to ensure that at least the likeliest concurrent permutations are exercised in miri...
hawkw commented
oh, looks like miri doesn't play nice with thread-locals (unsurprising), which means that both loom and the crate itself won't compile. that tracks.
since miri doesn't support concurrency, though, running loom tests in miri is theoretically a good idea, since loom's simulated concurrency would allow testing "concurrent" code in miri...