I believe they do have a warrant to search her hard drive, however they were unable to do it. There is a similar case where the police had a warrant to search a guy's computer for child pornography but he would not provide the encryption key. That case recently upheld the right not to provide the key.