search

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here
GNU General Public License v3.0
0 stars 1 forks source link

Mutex deadlock #16

Closed margnus1 closed 5 years ago

margnus1 commented 5 years ago

Here's the code for supporting mutex deadlock.

I have a bunch of mutex tests lying around. I will add them before merging.