sladeware/groningen — pull request #30 by matttproud (2014-07-15 15:19:54+00:00)
Title: Explicit logging for Hypothesizer checkpointing.

We would like better insight.