cprover
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 54 of file timestamper.cpp.

Referenced by wall_clock_timestampert::stamp().