LCOV - mcrl2_coverage.info.cleaned - utilities/test/big_natural_number_test.cpp

LCOV - code coverage report

Current view:	top level - utilities/test - big_natural_number_test.cpp (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	76	76	100.0 %
Date:	2024-05-04 03:44:52	Functions:	10	10	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_ZL24cumulative_tests_invokerv	1
_ZL31big_natural_number_test_invokerv	1
_ZN16cumulative_tests11test_methodEv	1
_ZN23big_natural_number_test11test_methodEv	1
_Z4testRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	11
_Z10test_printRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	22
_Z11test_simpleRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	22
_Z12test_div_modRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	22
_Z13test_multiplyRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	22
_Z24test_plus_minus_multiplyRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_	22