Extends coverage of hotstart tests#232

lrntct wants to merge 2 commits intoItziModel:mainItziModel/itzi:mainfrom

lrntct:hotstart_testslrntct/itzi:hotstart_testsCopy head branch name to clipboard