Testing formulae for GNOME 3 trunks