log tests/badRpc.ur

age author description
2011-11-19 Adam Chlipala Better error messages when client-side constructs are detected in Cjrize