Fix coveriry issue on haltest