add exec_hook function

    done

  }

  function exec_hook() {

    if [[ ! -x "$1" ]] && ! chmod +x "$1"

    then

      log_warn "... could not make \\e[33;1m${1}\\e[0m executable: please do it (chmod +x)"

      # fallback technique

      sh "$1"

    else

      "$1"

    fi

  }

  function output_coverage() {

    echo "[TODO]: compute and output global coverage result"

    echo "11% covered"