Description
For some reason UTBot sometimes cannot generate tests for simple division function when only parameter types are specified and there is no return type tip.
To Reproduce
Steps to reproduce the behavior:
def div(a: int, b: int):
return a / b
- It's not always reproducible, but try to invoke test generation on function above
Expected behavior
Tests are supposed to be generated.
Actual behavior
Tests are not generated, due timeout. It seems UTBot is stack looking for proper return type, see idea.log below. Is there anything we could improve here?
Visual proofs (screenshots, logs, images)
idea.log
2023-02-20 16:45:06,545 [2003434] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.int, builtins.int], typing.Any]
2023-02-20 16:45:11,862 [2008751] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.int, builtins.int
2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int
2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int
2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int
2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int
2023-02-20 16:45:12,122 [2009011] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
2023-02-20 16:45:30,264 [2027153] WARN - #c.j.p.r.PythonCommandLineState - Python interpreter flavor is not taken into account while initializing Python path
2023-02-20 16:45:30,264 [2027153] INFO - #c.i.o.d.Logger - Plots on port: 63342
2023-02-20 16:45:42,823 [2039712] WARN - #c.i.o.a.i.ActionUpdater - 202 ms to grab EDT for CWMTelephonyGroup#update@NavBarToolbar (com.jetbrains.rd.platform.codeWithMe.telephony.CWMTelephonyGroup)
2023-02-20 16:45:48,879 [2045768] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations:
2023-02-20 16:45:49,137 [2046026] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations:
2023-02-20 16:45:49,368 [2046257] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.str], typing.Any]
2023-02-20 16:45:54,659 [2051548] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.str
2023-02-20 16:45:54,660 [2051549] INFO - STDOUT - | UtBot - PythonApi | Provider StrValueProvider accepts type builtins.str
2023-02-20 16:45:54,660 [2051549] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.str
2023-02-20 16:45:54,858 [2051747] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
2023-02-20 16:45:54,861 [2051750] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations:
2023-02-20 16:45:55,137 [2052026] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.int], typing.Any]
2023-02-20 16:46:00,433 [2057322] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.int
2023-02-20 16:46:00,436 [2057325] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int
2023-02-20 16:46:00,436 [2057325] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int
2023-02-20 16:46:00,657 [2057546] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
2023-02-20 16:46:00,775 [2057664] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.list[typing.Any]], typing.Any]
2023-02-20 16:46:06,079 [2062968] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.list[typing.Any]
2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Provider ListValueProvider accepts type builtins.list[typing.Any]
2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.list[typing.Any]
2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Any does not have provider
2023-02-20 16:46:06,281 [2063170] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
2023-02-20 16:46:06,407 [2063296] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.str], builtins.int]
2023-02-20 16:46:11,707 [2068596] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.str
2023-02-20 16:46:11,708 [2068597] INFO - STDOUT - | UtBot - PythonApi | Provider StrValueProvider accepts type builtins.str
2023-02-20 16:46:11,708 [2068597] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.str
2023-02-20 16:46:11,912 [2068801] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:12,147 [2069036] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:12,361 [2069250] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:12,568 [2069457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:12,775 [2069664] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:12,980 [2069869] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:13,186 [2070075] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:13,393 [2070282] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:13,597 [2070486] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:13,801 [2070690] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:14,002 [2070891] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:14,217 [2071106] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:14,431 [2071320] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:14,638 [2071527] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:14,848 [2071737] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:15,052 [2071941] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:15,261 [2072150] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:15,468 [2072357] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:15,678 [2072567] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:15,880 [2072769] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:16,090 [2072979] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:16,311 [2073200] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:16,513 [2073402] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:16,721 [2073610] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:16,925 [2073814] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:17,138 [2074027] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:17,344 [2074233] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:17,548 [2074437] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:17,755 [2074644] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:17,960 [2074849] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:18,210 [2075099] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:18,420 [2075309] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:18,636 [2075525] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:18,878 [2075767] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:19,122 [2076011] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:19,344 [2076233] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:19,553 [2076442] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:19,762 [2076651] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:19,980 [2076869] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:20,183 [2077072] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:20,405 [2077294] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:20,612 [2077501] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:20,820 [2077709] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:21,024 [2077913] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:21,234 [2078123] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:21,439 [2078328] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:21,656 [2078545] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:21,870 [2078759] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:22,076 [2078965] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:22,289 [2079178] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:22,514 [2079403] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:22,728 [2079617] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:22,936 [2079825] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:23,139 [2080028] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:23,349 [2080238] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:23,561 [2080450] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:23,770 [2080659] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:23,975 [2080864] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:24,179 [2081068] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:24,390 [2081279] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:24,604 [2081493] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:24,810 [2081699] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:25,017 [2081906] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:25,224 [2082113] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:25,450 [2082339] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:25,665 [2082554] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:25,879 [2082768] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:26,091 [2082980] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:26,301 [2083190] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:26,511 [2083400] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:26,721 [2083610] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:26,926 [2083815] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:27,136 [2084025] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:27,351 [2084240] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:27,557 [2084446] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:27,781 [2084670] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:27,993 [2084882] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:28,200 [2085089] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:28,408 [2085297] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:28,640 [2085529] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:28,862 [2085751] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:29,073 [2085962] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:29,288 [2086177] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:29,494 [2086383] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:29,703 [2086592] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:29,907 [2086796] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:30,115 [2087004] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:30,324 [2087213] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:30,534 [2087423] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:30,737 [2087626] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:30,954 [2087843] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:31,160 [2088049] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:31,372 [2088261] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:31,583 [2088472] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:31,793 [2088682] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,016 [2088905] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,222 [2089111] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,441 [2089330] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,657 [2089546] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,872 [2089761] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError
2023-02-20 16:46:32,873 [2089762] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
2023-02-20 16:46:32,873 [2089762] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.list[typing.Any]], builtins.int]
2023-02-20 16:46:38,163 [2095052] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.list[typing.Any]
2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Provider ListValueProvider accepts type builtins.list[typing.Any]
2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.list[typing.Any]
2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Any does not have provider
2023-02-20 16:46:38,363 [2095252] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:38,568 [2095457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:38,779 [2095668] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:38,992 [2095881] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:39,200 [2096089] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:39,399 [2096288] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:39,606 [2096495] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:39,818 [2096707] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:40,019 [2096908] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:40,239 [2097128] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:40,446 [2097335] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:40,654 [2097543] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:40,861 [2097750] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:41,082 [2097971] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:41,291 [2098180] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:41,496 [2098385] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:41,702 [2098591] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:41,914 [2098803] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:42,124 [2099013] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:42,348 [2099237] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:42,568 [2099457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:42,781 [2099670] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:42,991 [2099880] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:43,205 [2100094] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:43,421 [2100310] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:43,645 [2100534] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:43,867 [2100756] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:44,089 [2100978] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:44,318 [2101207] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:44,549 [2101438] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:44,771 [2101660] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:44,989 [2101878] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:45,258 [2102147] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:45,505 [2102394] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:45,733 [2102622] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:45,954 [2102843] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:46,184 [2103073] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:46,410 [2103299] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:46,627 [2103516] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:46,841 [2103730] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:47,054 [2103943] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:47,261 [2104150] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:47,470 [2104359] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:47,724 [2104613] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:47,939 [2104828] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:48,158 [2105047] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:48,374 [2105263] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:48,591 [2105480] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:48,800 [2105689] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:49,010 [2105899] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError
2023-02-20 16:46:49,010 [2105899] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted
Description
For some reason UTBot sometimes cannot generate tests for simple division function when only parameter types are specified and there is no return type tip.
To Reproduce
Steps to reproduce the behavior:
Expected behavior
Tests are supposed to be generated.
Actual behavior
Tests are not generated, due timeout. It seems UTBot is stack looking for proper return type, see
idea.logbelow. Is there anything we could improve here?Visual proofs (screenshots, logs, images)
idea.log
2023-02-20 16:45:06,545 [2003434] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.int, builtins.int], typing.Any] 2023-02-20 16:45:11,862 [2008751] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.int, builtins.int 2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int 2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int 2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int 2023-02-20 16:45:11,864 [2008753] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int 2023-02-20 16:45:12,122 [2009011] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted 2023-02-20 16:45:30,264 [2027153] WARN - #c.j.p.r.PythonCommandLineState - Python interpreter flavor is not taken into account while initializing Python path 2023-02-20 16:45:30,264 [2027153] INFO - #c.i.o.d.Logger - Plots on port: 63342 2023-02-20 16:45:42,823 [2039712] WARN - #c.i.o.a.i.ActionUpdater - 202 ms to grab EDT for CWMTelephonyGroup#update@NavBarToolbar (com.jetbrains.rd.platform.codeWithMe.telephony.CWMTelephonyGroup) 2023-02-20 16:45:48,879 [2045768] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: 2023-02-20 16:45:49,137 [2046026] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: 2023-02-20 16:45:49,368 [2046257] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.str], typing.Any] 2023-02-20 16:45:54,659 [2051548] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.str 2023-02-20 16:45:54,660 [2051549] INFO - STDOUT - | UtBot - PythonApi | Provider StrValueProvider accepts type builtins.str 2023-02-20 16:45:54,660 [2051549] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.str 2023-02-20 16:45:54,858 [2051747] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted 2023-02-20 16:45:54,861 [2051750] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: 2023-02-20 16:45:55,137 [2052026] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.int], typing.Any] 2023-02-20 16:46:00,433 [2057322] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.int 2023-02-20 16:46:00,436 [2057325] INFO - STDOUT - | UtBot - PythonApi | Provider IntValueProvider accepts type builtins.int 2023-02-20 16:46:00,436 [2057325] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.int 2023-02-20 16:46:00,657 [2057546] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted 2023-02-20 16:46:00,775 [2057664] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.list[typing.Any]], typing.Any] 2023-02-20 16:46:06,079 [2062968] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.list[typing.Any] 2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Provider ListValueProvider accepts type builtins.list[typing.Any] 2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.list[typing.Any] 2023-02-20 16:46:06,080 [2062969] INFO - STDOUT - | UtBot - PythonApi | Any does not have provider 2023-02-20 16:46:06,281 [2063170] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted 2023-02-20 16:46:06,407 [2063296] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.str], builtins.int] 2023-02-20 16:46:11,707 [2068596] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.str 2023-02-20 16:46:11,708 [2068597] INFO - STDOUT - | UtBot - PythonApi | Provider StrValueProvider accepts type builtins.str 2023-02-20 16:46:11,708 [2068597] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.str 2023-02-20 16:46:11,912 [2068801] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:12,147 [2069036] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:12,361 [2069250] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:12,568 [2069457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:12,775 [2069664] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:12,980 [2069869] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:13,186 [2070075] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:13,393 [2070282] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:13,597 [2070486] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:13,801 [2070690] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:14,002 [2070891] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:14,217 [2071106] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:14,431 [2071320] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:14,638 [2071527] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:14,848 [2071737] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:15,052 [2071941] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:15,261 [2072150] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:15,468 [2072357] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:15,678 [2072567] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:15,880 [2072769] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:16,090 [2072979] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:16,311 [2073200] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:16,513 [2073402] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:16,721 [2073610] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:16,925 [2073814] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:17,138 [2074027] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:17,344 [2074233] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:17,548 [2074437] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:17,755 [2074644] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:17,960 [2074849] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:18,210 [2075099] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:18,420 [2075309] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:18,636 [2075525] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:18,878 [2075767] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:19,122 [2076011] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:19,344 [2076233] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:19,553 [2076442] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:19,762 [2076651] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:19,980 [2076869] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:20,183 [2077072] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:20,405 [2077294] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:20,612 [2077501] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:20,820 [2077709] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:21,024 [2077913] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:21,234 [2078123] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:21,439 [2078328] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:21,656 [2078545] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:21,870 [2078759] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:22,076 [2078965] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:22,289 [2079178] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:22,514 [2079403] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:22,728 [2079617] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:22,936 [2079825] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:23,139 [2080028] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:23,349 [2080238] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:23,561 [2080450] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:23,770 [2080659] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:23,975 [2080864] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:24,179 [2081068] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:24,390 [2081279] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:24,604 [2081493] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:24,810 [2081699] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:25,017 [2081906] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:25,224 [2082113] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:25,450 [2082339] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:25,665 [2082554] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:25,879 [2082768] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:26,091 [2082980] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:26,301 [2083190] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:26,511 [2083400] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:26,721 [2083610] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:26,926 [2083815] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:27,136 [2084025] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:27,351 [2084240] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:27,557 [2084446] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:27,781 [2084670] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:27,993 [2084882] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:28,200 [2085089] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:28,408 [2085297] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:28,640 [2085529] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:28,862 [2085751] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:29,073 [2085962] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:29,288 [2086177] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:29,494 [2086383] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:29,703 [2086592] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:29,907 [2086796] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:30,115 [2087004] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:30,324 [2087213] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:30,534 [2087423] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:30,737 [2087626] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:30,954 [2087843] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:31,160 [2088049] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:31,372 [2088261] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:31,583 [2088472] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:31,793 [2088682] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,016 [2088905] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,222 [2089111] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,441 [2089330] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,657 [2089546] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,872 [2089761] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.str. Exception type: builtins.TypeError 2023-02-20 16:46:32,873 [2089762] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted 2023-02-20 16:46:32,873 [2089762] INFO - STDOUT - | UtBot - BaselineAlgorithm | Checking typing.Callable[[builtins.list[typing.Any]], builtins.int] 2023-02-20 16:46:38,163 [2095052] INFO - STDOUT - | UtBot - PythonTestCaseGenerator | Inferred annotations: builtins.list[typing.Any] 2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Provider ListValueProvider accepts type builtins.list[typing.Any] 2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Provider ConstantValueProvider accepts type builtins.list[typing.Any] 2023-02-20 16:46:38,164 [2095053] INFO - STDOUT - | UtBot - PythonApi | Any does not have provider 2023-02-20 16:46:38,363 [2095252] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:38,568 [2095457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:38,779 [2095668] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:38,992 [2095881] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:39,200 [2096089] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:39,399 [2096288] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:39,606 [2096495] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:39,818 [2096707] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:40,019 [2096908] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:40,239 [2097128] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:40,446 [2097335] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:40,654 [2097543] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:40,861 [2097750] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:41,082 [2097971] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:41,291 [2098180] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:41,496 [2098385] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:41,702 [2098591] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:41,914 [2098803] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:42,124 [2099013] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:42,348 [2099237] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:42,568 [2099457] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:42,781 [2099670] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:42,991 [2099880] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:43,205 [2100094] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:43,421 [2100310] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:43,645 [2100534] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:43,867 [2100756] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:44,089 [2100978] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:44,318 [2101207] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:44,549 [2101438] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:44,771 [2101660] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:44,989 [2101878] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:45,258 [2102147] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:45,505 [2102394] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:45,733 [2102622] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:45,954 [2102843] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:46,184 [2103073] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:46,410 [2103299] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:46,627 [2103516] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:46,841 [2103730] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:47,054 [2103943] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:47,261 [2104150] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:47,470 [2104359] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:47,724 [2104613] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:47,939 [2104828] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:48,158 [2105047] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:48,374 [2105263] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:48,591 [2105480] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:48,800 [2105689] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:49,010 [2105899] INFO - STDOUT - | UtBot - PythonEngine | Evaluation with prohibited exception. Substituted types: builtins.list[typing.Any]. Exception type: builtins.TypeError 2023-02-20 16:46:49,010 [2105899] INFO - STDOUT - | UtBot - PythonEngine | Fuzzing process was interrupted