gustafn
committed
on 18 Oct 19
allow empty correct_when specifications