google/souper — pull request #99 by regehr (2014-10-23 19:53:18+00:00)
Title: reducer fixes

fix stupid bug

remove a debug printout

assert that souper-check likes the initial input to the reducer