gustafn
committed
on 16 Jul
made test for valid protocols case invariant