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:
" --timestamp <monotonic|wall> print microsecond-precision timestamps.\n" \
" monotonic: stamps increase monotonically.\n" \
" wall: 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.