gustafn
committed
on 18 Oct
allow empty correct_when specifications