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 ( )