ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
time Namespace Reference
Functions
float
time
()
None
sleep
(
float
seconds)
Function Documentation
◆
sleep()
None time.sleep
(
float
seconds
)
◆
time()
float
time.time
(
)
time
Generated by
1.15.0