-:    0:Source:/home/tesena/zeroproject/test/tmp/procedure/asw_next/tp.c
        -:    0:Graph:./CMakeFiles/asw_next.dir/tp.c.gcno
        -:    0:Data:./CMakeFiles/asw_next.dir/tp.c.gcda
        -:    0:Runs:1
        -:    0:Programs:1
        -:    1:#include "asw_next.c"
        -:    2:#include "test_env.h"
        -:    3:
        -:    4:int invoked_hal_led_seton = 0;
        -:    5:int input_in_index = 0;
function hal_led_seton called 2 returned 100% blocks executed 100%
        2:    6:int hal_led_seton(const int in_index)
        -:    7:{
        2:    8:  input_in_index = in_index;
        2:    9:  invoked_hal_led_seton++;
        2:   10:  return 0;
        -:   11:}
        -:   12:
function tp_01 called 1 returned 100% blocks executed 80%
        1:   13:void tp_01(void)
        -:   14:{
        1:   15:  invoked_hal_led_seton = 0;
        1:   16:  asw_next();
call    0 returned 1
       1*:   17:  if (1 == invoked_hal_led_seton) { passed++; } else { failed++; }
branch  0 taken 1 (fallthrough)
branch  1 taken 0
        1:   18:}
        -:   19:
function tp_02 called 1 returned 100% blocks executed 80%
        1:   20:void tp_02(void)
        -:   21:{
        1:   22:  input_in_index = 0;
        1:   23:  asw_next();
call    0 returned 1
       1*:   24:  if (1 == input_in_index) { passed++; } else { failed++; }
branch  0 taken 1 (fallthrough)
branch  1 taken 0
        1:   25:}
        -:   26:
function tp_main called 1 returned 100% blocks executed 100%
        1:   27:void tp_main(void)
        -:   28:{
        1:   29:  tp_01();
call    0 returned 1
        1:   30:  tp_02();
call    0 returned 1
        1:   31:}
        -:   32:
        -:   33:/* eof */
        -:   34: