LCOV - mcrl2_coverage.info.cleaned - data/test/linear_inequalities_test.cpp

LCOV - code coverage report

Current view:	top level - data/test - linear_inequalities_test.cpp (source / functions)		Hit	Total	Coverage
Test:	mcrl2_coverage.info.cleaned	Lines:	174	191	91.1 %
Date:	2024-04-26 03:18:02	Functions:	11	11	100.0 %
Legend:	Lines: hit not hit


Function Name	Hit count
_Z21test_split_conditionsv	1
_Z22test_linear_inequalityv	1
_Z31test_high_level_fourier_motzkinv	1
_Z42test_high_level_fourier_motzkin_non_linearv	1
_ZL17test_main_invokerv	1
_ZN9test_main11test_methodEv	1
_Z35test_application_of_Fourier_MotzkinRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_S6_S6_b	2
_Z23split_conditions_helperRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_RSt6vectorIN7atermpp9term_listIN5mcrl24data15data_expressionEEESaISD_EERS7_ISC_SaISC_EE	6
_Z32test_consistency_of_inequalitiesRKNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEES6_b	7
_Z5checkbNSt7__cxx1112basic_stringIcSt11char_traitsIcESaIcEEE	12
_Z37split_conjunction_of_inequalities_setRKN5mcrl24data15data_expressionERSt6vectorINS0_17linear_inequalityESaIS5_EERKNS0_8rewriterE	47