CBMC
Loading...
Searching...
No Matches
Macros
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.

AltStyle によって変換されたページ (->オリジナル) /