[analyzer] PthreadLock: add printState().
AcceptedPublic

Authored by NoQ on Wed, Sep 13, 6:35 AM.

Details

Summary

The self-debugging method to add dumps of the checker's internal state to program state dumps and exploded graphs.

I'm looking into enabling this checker by default, so more patches would follow.

Diff Detail

NoQ created this revision.Wed, Sep 13, 6:35 AM
zaks.anna accepted this revision.Wed, Sep 13, 8:51 AM
This revision is now accepted and ready to land.Wed, Sep 13, 8:51 AM