[sr-dev] git:master:6d45c551: tm: docs for exec_time_check parameter