EdenTest: Fixing the Hrm TestSuite