ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
time_stopping.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef unsigned long long fine_timet

Functions

fine_timet current_time ()
void output_time (const fine_timet &fine_time, std::ostream &out)
std::string time2string (const fine_timet &fine_time)

Typedef Documentation

◆ fine_timet

typedef unsigned long long fine_timet

Function Documentation

◆ current_time()

fine_timet current_time ( )

◆ output_time()

void output_time ( const fine_timet & fine_time,
std::ostream & out )

◆ time2string()

std::string time2string ( const fine_timet & fine_time)