log tests/roundTrip.urs

age author description
2009-04-16 Adam Chlipala Avoid thread death via message receive