Page MenuHomePhabricator

[analyzer] PthreadLock: add printState().

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



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

Event Timeline

NoQ created this revision.Sep 13 2017, 6:35 AM
zaks.anna accepted this revision.Sep 13 2017, 8:51 AM
This revision is now accepted and ready to land.Sep 13 2017, 8:51 AM
This revision was automatically updated to reflect the committed changes.