diff --git a/lib/phpunit/classes/util.php b/lib/phpunit/classes/util.php
index 1157eae5e5f..c7f318e14dc 100644
--- a/lib/phpunit/classes/util.php
+++ b/lib/phpunit/classes/util.php
@@ -203,6 +203,9 @@ class phpunit_util extends testing_util {
         $ME = null;
         $SCRIPT = null;
         $FILTERLIB_PRIVATE = null;
+        if (!empty($SESSION->notifications)) {
+            $SESSION->notifications = [];
+        }
 
         // Empty sessison and set fresh new not-logged-in user.
         \core\session\manager::init_empty_session();