CBMC
|
#include <timestamper.h>
Public Member Functions | |
virtual std::string | stamp () const override |
See HELP_TIMESTAMP in util/timestamper.h for time stamp format. More... | |
Public Member Functions inherited from timestampert | |
virtual | ~timestampert ()=default |
Additional Inherited Members | |
Public Types inherited from timestampert | |
enum class | clockt { NONE , MONOTONIC , WALL_CLOCK } |
Derived types of timestampert. More... | |
Static Public Member Functions inherited from timestampert | |
static std::unique_ptr< const timestampert > | make (clockt clock_type) |
Factory method to build timestampert subclasses. More... | |
Definition at line 75 of file timestamper.h.
|
overridevirtual |
See HELP_TIMESTAMP in util/timestamper.h for time stamp format.
Reimplemented from timestampert.
Definition at line 57 of file timestamper.cpp.