LCOV - code coverage report
Current view: top level - utilities/source - toolset_version.cpp (source / functions) Hit Total Coverage
Test: mcrl2_coverage.info.cleaned Lines: 2 2 100.0 %
Date: 2024-03-08 02:52:28 Functions: 1 1 100.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : // Author(s): Aad Mathijssen
       2             : // Copyright: see the accompanying file COPYING or copy at
       3             : // https://github.com/mCRL2org/mCRL2/blob/master/COPYING
       4             : //
       5             : // Distributed under the Boost Software License, Version 1.0.
       6             : // (See accompanying file LICENSE_1_0.txt or copy at
       7             : // http://www.boost.org/LICENSE_1_0.txt)
       8             : //
       9             : /// \file toolset_version.cpp
      10             : 
      11             : /*
      12             :  * The MCRL2_VERSION constant is declared in toolset_version_const.h, which
      13             :  * is a file generated by the build system. This constant is separated from
      14             :  * the declaration of get_toolset_version() so we do not have to recompile
      15             :  * the entire toolkit when the version number changes (only 
      16             :  * toolset_version.cpp depends on toolset_version_const.h).
      17             :  */
      18             : 
      19             : #include "mcrl2/utilities/toolset_version.h"
      20             : #include "mcrl2/utilities/toolset_version_const.h"
      21             : 
      22           5 : std::string mcrl2::utilities::get_toolset_version()
      23             : {
      24           5 :   return MCRL2_VERSION;
      25             : }

Generated by: LCOV version 1.14