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 : }