b-mezei
Results
1
issues of
b-mezei
I have used the model checker [GenMC](https://github.com/mpi-sws/genmc/) to try and verify some data structures in the library. Specifically, I tried to check for the linearizibility of the data structures using...