<gh_stars>1-10
# Copyright <NAME> 2019. See LICENSE file.

import time as pythonTime

import sys

timeFunction = None

if sys.platform == "win32":
    timeFunction = pythonTime.clock
else:
    timeFunction = pythonTime.time
