update specification for setwarmstart!