JetBrains / lincheck

Framework for testing concurrent data structures
Mozilla Public License 2.0
538 stars 31 forks source link

Don't track all Unsafe methods as atomic #288

Open avpotapov00 opened 3 months ago

avpotapov00 commented 3 months ago

Now we treat all methods of Unsafe as atomic methods. Let's do it only for the necessary ones.