rgrig / topl

TOPL Runtime Verifier
5 stars 1 forks source link

Weak references #26

Open rgrig opened 12 years ago

rgrig commented 12 years ago

We should consider switching to weak references for tracking program objects. Must be careful with primitive types.