toolset_version.h¶

Include file:

#include "mcrl2/utilities/toolset_version.h"

Get the toolset revision.

Functions¶

std::string get_toolset_version()¶

Get the toolset revision.

Returns: A string representation of the toolset revision