bigeasy/proof — pull request #250 by jgpelletier (2014-10-08 14:51:49+00:00)
Title: Added colorization test file.

Would you please look at the assert test on line 5?