ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
time_stopping.cpp File Reference
#include <sys/time.h>
#include <iomanip>
#include <sstream>
#include <util/base/time_stopping.h>
Include dependency graph for time_stopping.cpp:

Functions

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

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)