Support `WeakReference` in model checking mode

JetBrains / lincheck

Framework for testing concurrent data structures

Mozilla Public License 2.0

545 stars 31 forks source link

Open eupp opened 4 months ago

eupp commented 4 months ago

[ ] validate that weak references may cause non-determinism in model checking mode (and add a test)
[ ] design the approach to support weak references in model checking mode
- [ ] track new weak references creation and add objects to some internal data structure to prevent garbage collection from removing them (?)

eupp commented 4 months ago

We will get back to this after #249