LCOV - code coverage report
Current view:
top level
-
atermpp/source
- aterm_io_text.cpp
(
source
/ functions)
Hit
Total
Coverage
Test:
mcrl2_coverage.info.cleaned
Lines:
146
197
74.1 %
Date:
2024-04-26 03:18:02
Functions:
17
18
94.4 %
Legend:
Lines:
hit
not hit
Function Name
Hit count
_ZN7atermpp18text_aterm_istream26print_parse_error_positionB5cxx11Ev
0
_ZN7atermpp25write_term_to_text_streamERKNS_5atermERSo
7
_ZN7atermpp18text_aterm_istream15parse_aterm_intERi
204
_ZN7atermpp18text_aterm_istream19parse_quoted_stringB5cxx11ERi
6689
_ZN7atermpp21read_term_from_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE
10101
_ZN7atermpp18text_aterm_istream3getERNS_5atermE
10107
_ZN7atermpp18text_aterm_istreamC2ERSi
10107
_ZN7atermpp26read_term_from_text_streamERSiRNS_5atermE
10107
_ZN7atermpplsERSoRKNS_5atermE
12579
_ZN7atermpp18text_aterm_ostream3putERKNS_5atermE
12586
_ZN7atermpp18text_aterm_ostreamC2ERSob
12586
_ZN7atermpp18text_aterm_istream21parse_unquoted_stringB5cxx11ERi
205335
_ZN7atermppL32write_string_with_escape_symbolsERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERSo
211271
_ZN7atermpp18text_aterm_istream16parse_aterm_applERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEERi
212024
_ZN7atermpp18text_aterm_istream16parse_aterm_listERicc
220879
_ZN7atermpp18text_aterm_istream11parse_atermERi
221083
_ZN7atermpp18text_aterm_ostream15write_term_lineERKNS_5atermE
222300
_ZN7atermpp18text_aterm_istream9next_charEbb
1572718
Generated by:
LCOV version 1.14