René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"UTBot Python cannot find Division by Zero problem","articleBody":"**Description**\r\n\r\nEven when all types are specified UTBot Python doesn't find case when Division by Zero happens. Both UTBotJava and UTBotCPP can find such problem and it seems quite classic example of the problem which could be revealed with static analysis, so I would expect that UTBot Python also find the error.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n```python\r\ndef div(a: int, b: int) -\u003e int:\r\n    return a / b\r\n```\r\n\r\n1. Invoke code generation on code above\r\n\r\n**Expected behavior**\r\n\r\nTest which exposes 'Division by Zero' problem is generated among the others.\r\n\r\n**Actual behavior**\r\n\r\nNo such test is generated, the only test looks like that:\r\n```python\r\n    def test_div(self):\r\n        \"\"\"\r\n        a = 4\r\n        b = 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111\r\n        \"\"\"\r\n        actual = basics.div(4, 111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111111)\r\n        \r\n        self.assertEqual(0.0, actual)\r\n```\r\n","author":{"url":"https://github.com/tyuldashev","@type":"Person","name":"tyuldashev"},"datePublished":"2023-02-20T14:07:58.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":2},"url":"https://github.com/1831/UTBotJava/issues/1831"}