Oxide and Friends
Crates We Love
Eliza Weisman
And this is sort of based on a paper, I believe, that describes a sort of model checker like this for C++. And so what you can do is you can have, like, using some conditional compilation, you can say, normally I want to actually spawn threads or use real atomics or what have you, but when I'm running my tests...
0
💬
0
Comments
Log in to comment.
There are no comments yet.