log tests/bad.urp

age author description
2009-11-25 Adam Chlipala Exit code of 1 on compilation failure