René's URL Explorer Experiment

{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Integration tests in `utbot-framework` fail when `assert` is used in the Java code","articleBody":"**Description**\r\n\r\nSymbolic engine correctly generates test cases for branches in Java code that throw `java.lang.AssertionError` when the `assert` statement is present in the method under test. At the same time, integration tests fail, as assertions are disabled when the generated test code is run.\r\n\r\n**To Reproduce**\r\n\r\nThis is an infrastructure-related issue, end users probably will not see it.\r\n\r\nTo reproduce the bug, create and run a unit test for `utbot-framework` module whose Java code contains an `assert` statement.\r\n\r\nTest in Kotlin:\r\n```\r\n@Test\r\nfun testCopyColors() {\r\n    check(\r\n        EnumCollections::copyColors,\r\n        ignoreExecutionsNumber,\r\n        { source, result -\u003e source.isEmpty() \u0026\u0026 result != null \u0026\u0026 result.isEmpty() },\r\n        { source, result -\u003e source.isNotEmpty() \u0026\u0026 result != null \u0026\u0026 result.isNotEmpty() },\r\n        coverage = FullWithAssumptions(assumeCallsNumber = 1)\r\n    )\r\n}\r\n```\r\n\r\nMethod under test in Java:\r\n```\r\nclass EnumCollections {\r\n\r\n    // Other methods\r\n\r\n    public List\u003cColor\u003e copyColors(@NotNull List\u003cColor\u003e source) {\r\n        LinkedList\u003cColor\u003e result = new LinkedList\u003c\u003e();\r\n        for (Color color : source) {\r\n            assert color != null;\r\n            result.add(color);\r\n        }\r\n        return result;\r\n    }\r\n\r\n    // Other methods\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nBoth the test and integration test should pass.\r\n\r\n**Actual behavior**\r\n\r\nThe test itself should pass, but the integration test should fail with the error message that the assertion is expected but has never been thrown.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n![image](https://user-images.githubusercontent.com/336793/179273211-446bb01a-24a8-40eb-84d8-2a3e2f245192.png)\r\n\r\n**Environment**\r\n\r\nIssue does not depend on the environment.\r\n\r\n**Additional context**\r\n\r\nNo additional context.\r\n","author":{"url":"https://github.com/dtim","@type":"Person","name":"dtim"},"datePublished":"2022-07-15T17:05:50.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/538/UTBotJava/issues/538"}