<?php
require __DIR__ . '/../vendor/autoload.php';
require __DIR__ . '/../src/Framework/Assert/Functions.php';
require __DIR__ . '/_files/CoveredFunction.php';
require __DIR__ . '/autoload.php';

if (!ini_get('date.timezone') && !defined('HPHP_VERSION')) {
  echo PHP_EOL . 'Error: PHPUnit\'s test suite requires the "date.timezone" runtime configuration to be set. Please check your php.ini.' . PHP_EOL;
  exit(1);
}

ini_set('precision', 14);
ini_set('serialize_precision', 14);

<?php
require __DIR__ . '/../vendor/autoload.php';
require __DIR__ . '/../src/Framework/Assert/Functions.php';
require __DIR__ . '/_files/CoveredFunction.php';
require __DIR__ . '/autoload.php';

if (!ini_get('date.timezone') && !defined('HHVM_VERSION')) {
  echo PHP_EOL . 'Error: PHPUnit\'s test suite requires the "date.timezone" runtime configuration to be set. Please check your php.ini.' . PHP_EOL;
  exit(1);
}

ini_set('precision', 14);
ini_set('serialize_precision', 14);

Use `HHVM_VERSION` instead of `HPHP_VERSION`.
Use `HHVM_VERSION` instead of `HPHP_VERSION`.

Seems there's a chance that `HPHP_VERSION` may be removed one day (see: facebook/hhvm@1632ca1).
