testing in Gryphon