basename.h¶

Include file:

#include "mcrl2/utilities/basename.h"

functions to get the executable’s basename.

Functions¶

std::string mcrl2::utilities::get_executable_basename()¶

Returns the basename of a tool.

Returns: A string