diff --git a/run-tests.php b/run-tests.php index ed7f4c9e1ac..93d8722063d 100755 --- a/run-tests.php +++ b/run-tests.php @@ -254,6 +254,7 @@ $ini_overwrites = array( 'log_errors_max_len=0', 'opcache.fast_shutdown=0', 'opcache.file_update_protection=0', + 'zend.assertions=1', ); $no_file_cache = '-d opcache.file_cache= -d opcache.file_cache_only=0';