cprover
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.

Referenced by jdiff_parse_optionst::help(), goto_diff_parse_optionst::help(), cbmc_parse_optionst::help(), jbmc_parse_optionst::help(), goto_instrument_parse_optionst::help(), janalyzer_parse_optionst::help(), and goto_analyzer_parse_optionst::help().

◆ OPT_TIMESTAMP

#define OPT_TIMESTAMP   "(timestamp):"

Definition at line 12 of file timestamper.h.