coq/coq — pull request #46 by JasonGross (2014-12-16 07:03:36+00:00)
Title: Add some tests for tryif

I've run the file manually, and it passes. I haven't tried `make test-suite`.