blob: 99f9765338c070c9173a31c9a1da1083c832c727 [file] [edit]
[case testTime_experimental]
from librt.time import time
import librt.time
def t1() -> float:
return time()
def t2() -> float:
return librt.time.time()
[out]
def t1():
r0 :: float
L0:
r0 = LibRTTime_time()
return r0
def t2():
r0 :: float
L0:
r0 = LibRTTime_time()
return r0
[case testTimeExperimentalDisabled]
from librt.time import time
def get_time() -> float:
return time()
[out]
def get_time():
r0 :: float
L0:
r0 = LibRTTime_time()
return r0