coq/coq — pull request #25 by JasonGross (2014-06-11 00:15:15+00:00)
Title: Add many more cases to the test-suite

I'd add more, but I'm tired and it's late and I should sleep. Maybe
I'll pick up at 3279 (working down) another day.

Bug 3344 is broken; [Fail Defined.] says that [Defined] has not failed,
even though it raises an anomaly. So there's no way I can think of to
test it. I've left it in the [opened] directory anyway.