René's URL Explorer Experiment


Title: Fix python fuzzing strategy by tamarinvs19 · Pull Request #1914 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Fix python fuzzing strategy by tamarinvs19 · Pull Request #1914 · UnitTestBot/UTBotJava

X Title: Fix python fuzzing strategy by tamarinvs19 · Pull Request #1914 · UnitTestBot/UTBotJava

Description: Description Version from #1893 has the following problem: when we get result from cache we don't save this execution in limitManager so fuzzer use all time with one annotation instead of using next annotations from type inference algorithm. Fixes bug from #1874 How to test Manual tests Try generate tests for some python function without full annotation, e.g. def f(x: list): return len(x) Expected: tests had been generated 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.

Open Graph Description: Description Version from #1893 has the following problem: when we get result from cache we don't save this execution in limitManager so fuzzer use all time with one annotation instead of using ...

X Description: Description Version from #1893 has the following problem: when we get result from cache we don't save this execution in limitManager so fuzzer use all time with one annotation instead of us...

Opengraph URL: https://github.com/UnitTestBot/UTBotJava/pull/1914

X: @github

direct link

Domain: github.com

route-pattern/:user_id/:repository/pull/:id/files(.:format)
route-controllerpull_requests
route-actionfiles
fetch-noncev2:30b1af7a-47e7-0846-d379-1bc7b82491cf
current-catalog-service-hashae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b
request-idD4F2:133E4B:B2FDB5:F02673:698EE456
html-safe-nonce9f8718e13ee74a0d70a0ff27e1de574bb36cfd653dd55c3eb57f8c8dec67ebfc
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJENEYyOjEzM0U0QjpCMkZEQjU6RjAyNjczOjY5OEVFNDU2IiwidmlzaXRvcl9pZCI6IjYyNTA1MDk2NjA0NzE2MTY1OTgiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ==
visitor-hmac9d66be7a452d35c98bf627629d812761f1d927cee44089fc69932c562a18d57d
hovercard-subject-tagpull_request:1269499461
github-keyboard-shortcutsrepository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot
google-site-verificationApib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I
octolytics-urlhttps://collector.github.com/github/collect
analytics-location///pull_requests/show/files
fb:app_id1401488693436528
apple-itunes-appapp-id=1477376905, app-argument=https://github.com/UnitTestBot/UTBotJava/pull/1914/files
twitter:imagehttps://avatars.githubusercontent.com/u/23080942?s=400&v=4
twitter:cardsummary_large_image
og:imagehttps://avatars.githubusercontent.com/u/23080942?s=400&v=4
og:image:altDescription Version from #1893 has the following problem: when we get result from cache we don't save this execution in limitManager so fuzzer use all time with one annotation instead of using ...
og:site_nameGitHub
og:typeobject
hostnamegithub.com
expected-hostnamegithub.com
Nonecb2828a801ee6b7be618f3ac76fbf55def35bbc30f053a9c41bf90210b8b72ba
turbo-cache-controlno-preview
diff-viewunified
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 full-width
disable-turbotrue
browser-stats-urlhttps://api.github.com/_private/browser/stats
browser-errors-urlhttps://api.github.com/_private/browser/errors
releasee6b91a7e6e46287d26887e3fb7a4161657bab8f7
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/pull/1914/files#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fpull%2F1914%2Ffiles
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%2Fpull%2F1914%2Ffiles
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%2Fpull_requests%2Fshow%2Ffiles&source=header-repo&source_repo=UnitTestBot%2FUTBotJava
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
Reloadhttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
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
Sign up for GitHub https://github.com/signup?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
terms of servicehttps://docs.github.com/terms
privacy statementhttps://docs.github.com/privacy
Sign inhttps://github.com/login?return_to=%2FUnitTestBot%2FUTBotJava%2Fissues%2Fnew%2Fchoose
tamarinvs19https://github.com/tamarinvs19
mainhttps://github.com/UnitTestBot/UTBotJava/tree/main
tamarinvs19/python-fix-timeout-managementhttps://github.com/UnitTestBot/UTBotJava/tree/tamarinvs19/python-fix-timeout-management
Conversation 0 https://github.com/UnitTestBot/UTBotJava/pull/1914
Commits 4 https://github.com/UnitTestBot/UTBotJava/pull/1914/commits
Checks 0 https://github.com/UnitTestBot/UTBotJava/pull/1914/checks
Files changed https://github.com/UnitTestBot/UTBotJava/pull/1914/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
Fix python fuzzing strategy https://github.com/UnitTestBot/UTBotJava/pull/1914/files#top
Show all changes 4 commits https://github.com/UnitTestBot/UTBotJava/pull/1914/files
1669370 Revert fuzzing minimization tamarinvs19 Mar 9, 2023 https://github.com/UnitTestBot/UTBotJava/pull/1914/commits/1669370f0636c1b5e4c7d8a4354fbbde3a051271
743061b Fix limit manager bug tamarinvs19 Mar 9, 2023 https://github.com/UnitTestBot/UTBotJava/pull/1914/commits/743061b8fad43c41b6e7056bf4cb37f6601cfa2b
1b7affe Fix logging in python fuzzing and remove unused code tamarinvs19 Mar 9, 2023 https://github.com/UnitTestBot/UTBotJava/pull/1914/commits/1b7affe97e2d74cf4ae0f91bac9cbdf77fd9fb43
6a09016 Merge branch 'main' into tamarinvs19/python-fix-timeout-management tamarinvs19 Mar 9, 2023 https://github.com/UnitTestBot/UTBotJava/pull/1914/commits/6a09016980ceab670fa57999cf2ccfda7e1de086
Clear filters https://github.com/UnitTestBot/UTBotJava/pull/1914/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
Please reload this pagehttps://github.com/UnitTestBot/UTBotJava/pull/1914/files
PythonEngine.kt https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
PythonTestCaseGenerator.kt https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-ec2cc1b3e1a1e9e1f868dca38439fc2a526db5c68eae47d88de1155bf5157709
PythonApi.kt https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
TestGenerationLimitManager.kt https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-6eb1bd3527e923688ca76d83aeb2638f0bd3b7e8da9fbbe9f376948cce0f96d9
utbot-python/src/main/kotlin/org/utbot/python/PythonEngine.kthttps://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
View file https://github.com/UnitTestBot/UTBotJava/blob/6a09016980ceab670fa57999cf2ccfda7e1de086/utbot-python/src/main/kotlin/org/utbot/python/PythonEngine.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1914/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-46b0d5f57b5cc4976438463850c8e533caa395e191f323e6ec75618e2fac002c
utbot-python/src/main/kotlin/org/utbot/python/PythonTestCaseGenerator.kthttps://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-ec2cc1b3e1a1e9e1f868dca38439fc2a526db5c68eae47d88de1155bf5157709
View file https://github.com/UnitTestBot/UTBotJava/blob/6a09016980ceab670fa57999cf2ccfda7e1de086/utbot-python/src/main/kotlin/org/utbot/python/PythonTestCaseGenerator.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1914/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-ec2cc1b3e1a1e9e1f868dca38439fc2a526db5c68eae47d88de1155bf5157709
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-ec2cc1b3e1a1e9e1f868dca38439fc2a526db5c68eae47d88de1155bf5157709
utbot-python/src/main/kotlin/org/utbot/python/fuzzing/PythonApi.kthttps://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
View file https://github.com/UnitTestBot/UTBotJava/blob/6a09016980ceab670fa57999cf2ccfda7e1de086/utbot-python/src/main/kotlin/org/utbot/python/fuzzing/PythonApi.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1914/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-b7452f0eebcadad20ec94adec5a5c4bf25ff53886e4b334ca6bf511383444c05
utbot-python/src/main/kotlin/org/utbot/python/utils/TestGenerationLimitManager.kthttps://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-6eb1bd3527e923688ca76d83aeb2638f0bd3b7e8da9fbbe9f376948cce0f96d9
View file https://github.com/UnitTestBot/UTBotJava/blob/6a09016980ceab670fa57999cf2ccfda7e1de086/utbot-python/src/main/kotlin/org/utbot/python/utils/TestGenerationLimitManager.kt
Open in desktop https://desktop.github.com
https://github.co/hiddenchars
https://github.com/UnitTestBot/UTBotJava/pull/1914/{{ revealButtonHref }}
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-6eb1bd3527e923688ca76d83aeb2638f0bd3b7e8da9fbbe9f376948cce0f96d9
https://github.com/UnitTestBot/UTBotJava/pull/1914/files#diff-6eb1bd3527e923688ca76d83aeb2638f0bd3b7e8da9fbbe9f376948cce0f96d9
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.