package Ġorg . spe k framework . spe k 2 . integration Ċ Ċ import Ġorg . spe k framework . spe k 2 . Spe k Ċ Ċ object ĠEmpty Group Test : ĠSpe k ({ ĊĠĠĠ Ġgroup (" empty Ġgroup Ġis Ġvalid ") Ġ{ ĊĠĠĠĠĠĠĠ Ġ// Ġshould Ġnot Ġcause Ġany Ġfailures ĊĠĠĠ Ġ} ĊĊĠĠĠ Ġtest (" there Ġshould Ġbe Ġat Ġleast Ġone Ġtest Ġin Ġthe Ġtree ") Ġ{} Ċ }) Ċ