René's URL Explorer Experiment


Title: Calls to Kotlin autogenerated setter isn't changed to direct property access for tests from fuzzer · Issue #1241 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Calls to Kotlin autogenerated setter isn't changed to direct property access for tests from fuzzer · Issue #1241 · UnitTestBot/UTBotJava

X Title: Calls to Kotlin autogenerated setter isn't changed to direct property access for tests from fuzzer · Issue #1241 · UnitTestBot/UTBotJava

Description: Description Fixes from #1002 seems not to work properly if the model is produced by fuzzer. To Reproduce Launch action on the following class (use only fuzzer): class Example() { var x: Int = 3 fun f(): Int { return x } } Expected behavi...

Open Graph Description: Description Fixes from #1002 seems not to work properly if the model is produced by fuzzer. To Reproduce Launch action on the following class (use only fuzzer): class Example() { var x: Int = 3 fun...

X Description: Description Fixes from #1002 seems not to work properly if the model is produced by fuzzer. To Reproduce Launch action on the following class (use only fuzzer): class Example() { var x: Int = 3 fun...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/issues/1241

X: @github

direct link

Domain: github.com


Hey, it has json ld scripts:
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Calls to Kotlin autogenerated setter isn't changed to direct property access for tests from fuzzer","articleBody":"**Description**\r\n\r\nFixes from #1002 seems not to work properly if the model is produced by fuzzer.\r\n\r\n**To Reproduce**\r\n\r\nLaunch action on the following class (use only fuzzer):\r\n\r\n```Kotlin\r\nclass Example() {\r\n    var x: Int = 3\r\n    fun f(): Int {\r\n        return x\r\n    }\r\n}\r\n```\r\n\r\n**Expected behavior**\r\n\r\nTests are generated properly.\r\n\r\n**Actual behavior**\r\n\r\nIncorrect tests with calls to `.setX()` are generated.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\nExample of generated test:\r\n\r\n```Kotlin\r\n@Test\r\n@DisplayName(\"f: arg_0 = Example() -\u003e return 1409199696\")\r\nfun testF() {\r\n    val example = Example()\r\n    example.setX(1409199696)\r\n    \r\n    val actual = example.f()\r\n    \r\n    assertEquals(1409199696, actual)\r\n}\r\n```\r\n\r\n**Environment**\r\n\r\nTest generation method -- Fuzzing 100%\r\n","author":{"url":"https://github.com/volivan239","@type":"Person","name":"volivan239"},"datePublished":"2022-10-26T16:48:14.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/1241/UTBotJava/issues/1241"}

route-pattern/_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format)
route-controllervoltron_issues_fragments
route-actionissue_layout
fetch-noncev2:ad8589ea-bb8f-0123-cb37-d77cabd76a94
current-catalog-service-hash81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114
request-id856A:16DC2F:3C37A7:4E510B:698D3DB5
html-safe-nonce9da036ac73dc7428fbeb4ee2097311c813c08297eacdf3b110f2f4cbddb7f2a8
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiI4NTZBOjE2REMyRjozQzM3QTc6NEU1MTBCOjY5OEQzREI1IiwidmlzaXRvcl9pZCI6IjM4NTc4NTY4MzY2OTU1NzE4OTMiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmacc5609af6092f2b07a5034825b8fabd416e0b28b1086a961b59d614423e232cf5
hovercard-subject-tagissue:1424367150
github-keyboard-shortcutsrepository,issues,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///voltron/issues_fragments/issue_layout
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/_view_fragments/issues/show/UnitTestBot/UTBotJava/1241/issue_layout
twitter:imagehttps://opengraph.githubassets.com/243942ca1684f31238d1ef2bf677dd30412f83a02846fc0b06fe4a09829a3a22/UnitTestBot/UTBotJava/issues/1241
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/243942ca1684f31238d1ef2bf677dd30412f83a02846fc0b06fe4a09829a3a22/UnitTestBot/UTBotJava/issues/1241
og:image:altDescription Fixes from #1002 seems not to work properly if the model is produced by fuzzer. To Reproduce Launch action on the following class (use only fuzzer): class Example() { var x: Int = 3 fun...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamevolivan239
hostnamegithub.com
expected-hostnamegithub.com
Nonec0818105fa276287e9369cfdefa0a0fa7953719791ceff9b94d69623c0a4fe8a
turbo-cache-controlno-preview
go-importgithub.com/UnitTestBot/UTBotJava git https://github.com/UnitTestBot/UTBotJava.git
octolytics-dimension-user_id87413538
octolytics-dimension-user_loginUnitTestBot
octolytics-dimension-repository_id480810501
octolytics-dimension-repository_nwoUnitTestBot/UTBotJava
octolytics-dimension-repository_publictrue
octolytics-dimension-repository_is_forkfalse
octolytics-dimension-repository_network_root_id480810501
octolytics-dimension-repository_network_root_nwoUnitTestBot/UTBotJava
turbo-body-classeslogged-out env-production page-responsive
disable-turbofalse
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasebc912d4349851e5f32c76bbb213754e40947d7a6
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/issues/1241#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fissues%2F1241
GitHub CopilotWrite better code with AIhttps://github.com/features/copilot
GitHub SparkBuild and deploy intelligent appshttps://github.com/features/spark
GitHub ModelsManage and compare promptshttps://github.com/features/models
MCP RegistryNewIntegrate external toolshttps://github.com/mcp
ActionsAutomate any workflowhttps://github.com/features/actions
CodespacesInstant dev environmentshttps://github.com/features/codespaces
IssuesPlan and track workhttps://github.com/features/issues
Code ReviewManage code changeshttps://github.com/features/code-review
GitHub Advanced SecurityFind and fix vulnerabilitieshttps://github.com/security/advanced-security
Code securitySecure your code as you buildhttps://github.com/security/advanced-security/code-security
Secret protectionStop leaks before they starthttps://github.com/security/advanced-security/secret-protection
Why GitHubhttps://github.com/why-github
Documentationhttps://docs.github.com
Bloghttps://github.blog
Changeloghttps://github.blog/changelog
Marketplacehttps://github.com/marketplace
View all featureshttps://github.com/features
Enterpriseshttps://github.com/enterprise
Small and medium teamshttps://github.com/team
Startupshttps://github.com/enterprise/startups
Nonprofitshttps://github.com/solutions/industry/nonprofits
App Modernizationhttps://github.com/solutions/use-case/app-modernization
DevSecOpshttps://github.com/solutions/use-case/devsecops
DevOpshttps://github.com/solutions/use-case/devops
CI/CDhttps://github.com/solutions/use-case/ci-cd
View all use caseshttps://github.com/solutions/use-case
Healthcarehttps://github.com/solutions/industry/healthcare
Financial serviceshttps://github.com/solutions/industry/financial-services
Manufacturinghttps://github.com/solutions/industry/manufacturing
Governmenthttps://github.com/solutions/industry/government
View all industrieshttps://github.com/solutions/industry
View all solutionshttps://github.com/solutions
AIhttps://github.com/resources/articles?topic=ai
Software Developmenthttps://github.com/resources/articles?topic=software-development
DevOpshttps://github.com/resources/articles?topic=devops
Securityhttps://github.com/resources/articles?topic=security
View all topicshttps://github.com/resources/articles
Customer storieshttps://github.com/customer-stories
Events & webinarshttps://github.com/resources/events
Ebooks & reportshttps://github.com/resources/whitepapers
Business insightshttps://github.com/solutions/executive-insights
GitHub Skillshttps://skills.github.com
Documentationhttps://docs.github.com
Customer supporthttps://support.github.com
Community forumhttps://github.com/orgs/community/discussions
Trust centerhttps://github.com/trust-center
Partnershttps://github.com/partners
GitHub SponsorsFund open source developershttps://github.com/sponsors
Security Labhttps://securitylab.github.com
Maintainer Communityhttps://maintainers.github.com
Acceleratorhttps://github.com/accelerator
Archive Programhttps://archiveprogram.github.com
Topicshttps://github.com/topics
Trendinghttps://github.com/trending
Collectionshttps://github.com/collections
Enterprise platformAI-powered developer platformhttps://github.com/enterprise
GitHub Advanced SecurityEnterprise-grade security featureshttps://github.com/security/advanced-security
Copilot for BusinessEnterprise-grade AI featureshttps://github.com/features/copilot/copilot-business
Premium SupportEnterprise-grade 24/7 supporthttps://github.com/premium-support
Pricinghttps://github.com/pricing
Search syntax tipshttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
documentationhttps://docs.github.com/search-github/github-code-search/understanding-github-code-search-syntax
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fissues%2F1241
Sign up https://github.com/signup?ref_cta=Sign+up&ref_loc=header+logged+out&ref_page=%2F%3Cuser-name%3E%2F%3Crepo-name%3E%2Fvoltron%2Fissues_fragments%2Fissue_layout&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/issues/1241
Reloadhttps://github.com/UnitTestBot/UTBotJava/issues/1241
Reloadhttps://github.com/UnitTestBot/UTBotJava/issues/1241
UnitTestBot https://github.com/UnitTestBot
UTBotJavahttps://github.com/UnitTestBot/UTBotJava
Notifications https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Fork 45 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Star 142 https://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava
Code https://github.com/UnitTestBot/UTBotJava
Issues 386 https://github.com/UnitTestBot/UTBotJava/issues
Pull requests 33 https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects 1 https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security 0 https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
Code https://github.com/UnitTestBot/UTBotJava
Issues https://github.com/UnitTestBot/UTBotJava/issues
Pull requests https://github.com/UnitTestBot/UTBotJava/pulls
Discussions https://github.com/UnitTestBot/UTBotJava/discussions
Actions https://github.com/UnitTestBot/UTBotJava/actions
Projects https://github.com/UnitTestBot/UTBotJava/projects
Wiki https://github.com/UnitTestBot/UTBotJava/wiki
Security https://github.com/UnitTestBot/UTBotJava/security
Insights https://github.com/UnitTestBot/UTBotJava/pulse
New issuehttps://github.com/login?return_to=https://github.com/UnitTestBot/UTBotJava/issues/1241
New issuehttps://github.com/login?return_to=https://github.com/UnitTestBot/UTBotJava/issues/1241
#1243https://github.com/UnitTestBot/UTBotJava/pull/1243
Calls to Kotlin autogenerated setter isn't changed to direct property access for tests from fuzzerhttps://github.com/UnitTestBot/UTBotJava/issues/1241#top
#1243https://github.com/UnitTestBot/UTBotJava/pull/1243
https://github.com/volivan239
comp-codegenIssue is related to code generatorhttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22comp-codegen%22
comp-fuzzingIssue is related to the fuzzinghttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22comp-fuzzing%22
ctg-bugIssue is a bughttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22ctg-bug%22
lang-kotlinIssue is related to Kotlin language supporthttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22lang-kotlin%22
https://github.com/volivan239
https://github.com/volivan239
volivan239https://github.com/volivan239
on Oct 26, 2022https://github.com/UnitTestBot/UTBotJava/issues/1241#issue-1424367150
#1002https://github.com/UnitTestBot/UTBotJava/pull/1002
volivan239https://github.com/volivan239
comp-codegenIssue is related to code generatorhttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22comp-codegen%22
comp-fuzzingIssue is related to the fuzzinghttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22comp-fuzzing%22
ctg-bugIssue is a bughttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22ctg-bug%22
lang-kotlinIssue is related to Kotlin language supporthttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22lang-kotlin%22
UTBot Javahttps://github.com/orgs/UnitTestBot/projects/2
https://github.com
Termshttps://docs.github.com/site-policy/github-terms/github-terms-of-service
Privacyhttps://docs.github.com/site-policy/privacy-policies/github-privacy-statement
Securityhttps://github.com/security
Statushttps://www.githubstatus.com/
Communityhttps://github.community/
Docshttps://docs.github.com/
Contacthttps://support.github.com?tags=dotcom-footer

Viewport: width=device-width


URLs of crawlers that visited me.