| [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 |