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

          Line data    Source code
       1             : // Author(s): Wieger Wesselink
       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             : 
      10             : #define BOOST_TEST_MODULE identifier_string_test
      11             : #include <boost/test/included/unit_test.hpp>
      12             : 
      13             : #include "mcrl2/atermpp/aterm_io.h"
      14             : #include "mcrl2/core/identifier_string.h"
      15             : 
      16             : using namespace mcrl2;
      17             : 
      18           2 : BOOST_AUTO_TEST_CASE(test_identifier_string)
      19             : {
      20           2 :   core::identifier_string a("abc");
      21           1 :   const core::identifier_string_list l;
      22           1 :   for (const auto& s: l)
      23             :   {
      24           0 :     std::cout << s;
      25             :   }
      26           1 : }

Generated by: LCOV version 1.14