log tests/hog.urp

age author description
2010-10-14 Adam Chlipala Interface for setting memory limits