Tests for gnatmetric
