CBMC
timestamper.h File Reference

Emit timestamps. More...

#include <memory>
#include <string>
+ Include dependency graph for timestamper.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  timestampert
 Timestamp class hierarchy. More...
 
class  monotonic_timestampert
 
class  wall_clock_timestampert
 

Macros

#define OPT_TIMESTAMP   "(timestamp):"
 
#define HELP_TIMESTAMP
 

Detailed Description

Emit timestamps.

Author
Kareem Khazem karkh.nosp@m.az@k.nosp@m.arkha.nosp@m.z.co.nosp@m.m

Definition in file timestamper.h.

Macro Definition Documentation

◆ HELP_TIMESTAMP

#define HELP_TIMESTAMP
Value:
" {y--timestamp} [{ymonotonic}|{ywall}] \t " \
"print microsecond-precision timestamps. {ymonotonic}: stamps increase " \
"monotonically. {ywall}: ISO-8601 wall clock timestamps.\n"

Definition at line 14 of file timestamper.h.

◆ OPT_TIMESTAMP

#define OPT_TIMESTAMP   "(timestamp):"

Definition at line 12 of file timestamper.h.