CBMC
timestamper.cpp File Reference
#include "timestamper.h"
#include <chrono>
#include <cstdlib>
#include <iomanip>
#include <sstream>
#include "invariant.h"
+ Include dependency graph for timestamper.cpp:

Go to the source code of this file.

Macros

#define WALL_FORMAT   "%Y-%m-%dT%H:%M:%S."
 

Macro Definition Documentation

◆ WALL_FORMAT

#define WALL_FORMAT   "%Y-%m-%dT%H:%M:%S."

Definition at line 55 of file timestamper.cpp.