LCOV - code coverage report

Current view: top level - utilities/source - bitstream.cpp (source / functions) Hit Total Coverage Test: mcrl2_coverage.info.cleaned Lines: 81 92 88.0 % Date: 2024-04-17 03:40:49 Functions: 13 14 92.9 % Legend: Lines: hit not hit

Function Name	Hit count
_ZL17set_stream_binaryRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEEP8_IO_FILE	0
_ZN5mcrl29utilities10obitstream5flushEv	80
_ZN5mcrl29utilities10obitstreamC2ERSo	80
_ZN5mcrl29utilities10ibitstreamC2ERSi	84
_ZN5mcrl29utilities10obitstream12write_stringERKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	2095
_ZN5mcrl29utilities10ibitstream11read_stringEv	2267
_ZN5mcrl29utilities10ibitstream4readEmPh	2267
_Z23encode_variablesize_intImEmT_Ph	6443
_ZN5mcrl29utilities10obitstream13write_integerEm	6443
_Z23decode_variablesize_intImET_RN5mcrl29utilities10ibitstreamE	6810
_ZN5mcrl29utilities10ibitstream12read_integerEv	6810
_ZN5mcrl29utilities10obitstream5writeEPKhm	8538
_ZN5mcrl29utilities10obitstream10write_bitsEmj	59225
_ZN5mcrl29utilities10ibitstream9read_bitsEj	63047

Generated by: LCOV version 1.14