public function testDelete()
{
$this->given($this->newTestedInstance())->if($this->testedInstance->login = self::login())->if($this->testedInstance->password = self::DEFAULT_PASSWORD)->if($this->testedInstance->role = self::STUDENT_ROLE)->if($this->testedInstance->first_name = self::DEFAULT_FIRST_NAME)->if($this->testedInstance->last_name = self::DEFAULT_LAST_NAME)->if($this->testedInstance->date_of_birth = self::DEFAULT_DATE)->if($this->testedInstance->address = self::DEFAULT_ADDRESS)->if($this->testedInstance->phone = self::DEFAULT_PHONE_NUMBER)->if($this->testedInstance->email = $this->mailAddress())->if($this->testedInstance->valid = true)->then->boolean($this->testedInstance->save())->isTrue()->given($notif = new Notification())->if($notif->message = "hey")->if($notif->read = 1)->if($notif->creation_date = date('Y-m-d H:i:s'))->if($notif->target_user_id = $this->testedInstance->getId())->then->boolean($notif->save())->isTrue()->given(\website\model\User::delete($this->testedInstance->getId()))->then->variable(\website\model\User::findOneWhere(['id' => $this->testedInstance->getId()]))->isNull()->variable(Notification::findOneWhere(['id' => $notif->getId()]))->isNull();
//TODO test with module subscription
}
