mcrl2/utilities/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