CBMC
diagnostics_helpert< T > Struct Template Reference

Helper to give us some diagnostic in a usable form on assertion failure. More...

#include <invariant.h>

Static Public Member Functions

static std::string diagnostics_as_string (const T &)
 

Detailed Description

template<typename T>
struct diagnostics_helpert< T >

Helper to give us some diagnostic in a usable form on assertion failure.

For now only provides string output Must be specialised for all types that should be useable as diagnostics

Definition at line 298 of file invariant.h.

Member Function Documentation

◆ diagnostics_as_string()

template<typename T >
static std::string diagnostics_helpert< T >::diagnostics_as_string ( const T &  )
static

The documentation for this struct was generated from the following files: