cprover
|
Emit timestamps. More...
#include <memory>
#include <string>
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 |
Emit timestamps.
Definition in file timestamper.h.
#define HELP_TIMESTAMP |
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().
#define OPT_TIMESTAMP "(timestamp):" |
Definition at line 12 of file timestamper.h.