From f824f0df1da2cc042934fa267d7a227fff9276c9 Mon Sep 17 00:00:00 2001
From: Niklas Keller <me@kelunik.com>
Date: Fri, 31 May 2019 20:42:02 +0200
Subject: [PATCH] Ignore code coverage for getCurrentTime on 32 bit

---
 lib/Internal/functions.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/lib/Internal/functions.php b/lib/Internal/functions.php
index 4c5ca8f..250d744 100644
--- a/lib/Internal/functions.php
+++ b/lib/Internal/functions.php
@@ -63,6 +63,7 @@ function getCurrentTime(): int
     static $nextWarning;
 
     if (\PHP_INT_SIZE === 4) {
+        // @codeCoverageIgnoreStart
         if ($startTime === null) {
             $startTime = \PHP_VERSION_ID >= 70300 ? \hrtime(false)[0] : \time();
             $nextWarning = \PHP_INT_MAX - 86400 * 7;
@@ -99,6 +100,7 @@ function getCurrentTime(): int
         }
 
         return $seconds * 1000;
+        // @codeCoverageIgnoreEnd
     }
 
     if (\PHP_VERSION_ID >= 70300) {