Description

• no minimization when the tested module is also installed from pip (as Too many similar test in langchain project for get_color_mapping function #1945 ): order in sys.path have been changed
• removed module coverage and replaced it with a builtins module trace
• fixed problem with one execution timeout: previous one timeoutsocket.soTimeout had been used by some executions instead only one, current realization create a thread for execution and interrupt it after timeout
• update utbot_executor, new version 1.3.1: more logs in DEBUG mode and fix problems with coverage

Fixes #1945

How to test

Manual tests

• minimization and coverage: see Too many similar test in langchain project for get_color_mapping function #1945 (with or without installed module langchain)
• timeout: expected that this function doesn't have any tests (in future we can generate tests with timeout same as UtBotJava, see Python: generate tests for timeouted functions #1939 )

import time
def f(x: int):
 time.sleep(10)
 return x

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

• I've set the proper labels for my PR (at least, for category and component).
• PR title and description are clear and intelligible.
• I've added enough comments to my code, particularly in hard-to-understand areas.
• The functionality I've repaired, changed or added is covered with automated tests.
• Manual tests have been provided optionally.
• The documentation for the functionality I've been working on is up-to-date.