René's URL Explorer Experiment


Title: Fuzzing is not stopped on timeout when symbolic execution is excluded · Issue #570 · UnitTestBot/UTBotJava · GitHub

Open Graph Title: Fuzzing is not stopped on timeout when symbolic execution is excluded · Issue #570 · UnitTestBot/UTBotJava

X Title: Fuzzing is not stopped on timeout when symbolic execution is excluded · Issue #570 · UnitTestBot/UTBotJava

Description: Description Need to stop test generation on timeout when only fuzzing test generation is turned on. Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings. To Reproduce Steps to reproduce the behavior: If you hav...

Open Graph Description: Description Need to stop test generation on timeout when only fuzzing test generation is turned on. Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings. To Reproduce Ste...

X Description: Description Need to stop test generation on timeout when only fuzzing test generation is turned on. Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings. To Reproduce Ste...

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

X: @github

direct link

Domain: github.com


Hey, it has json ld scripts:
{"@context":"https://schema.org","@type":"DiscussionForumPosting","headline":"Fuzzing is not stopped on timeout when symbolic execution is excluded","articleBody":"**Description**\r\n\r\nNeed to stop test generation on timeout when only fuzzing test generation is turned on.\r\nFuzzing is turned on and the Simplest mode of Code analysis is used in Settings.\r\n\r\n**To Reproduce**\r\n\r\nSteps to reproduce the behavior:\r\n\r\n1. If you have settings.properties check that useFuzzing=true is present\r\n2. Run the 'UTBotJava' project in IntelliJ Idea\r\n3. Open File -\u003e Settings... -\u003e Tools -\u003e UTBot\r\n4. Drag the Code analysis slider to the left most position - the Simplest\r\n5. Open utbot-sample/src/test/java/org/utbot/examples/algorithms/ArraysQuickSortTest.java\r\n6. Initiate test generation for the class with default settings (timeout 60 sec for the class)\r\n\r\n**Expected behavior**\r\n\r\nTests are supposed to be generated after 60 sec maximum.\r\n\r\n**Actual behavior**\r\n\r\nCurrently the test generation can last for 10 minutes approx.\r\n\r\n**Visual proofs (screenshots, logs, images)**\r\n\r\n![Simplest Code analysis](https://user-images.githubusercontent.com/37301492/180231489-1ecf10bd-df1a-4022-9d13-a150a4d02a32.jpg)\r\n\r\n![Timeout for generation](https://user-images.githubusercontent.com/37301492/180235925-b8868608-f68b-4455-ae6c-502553b18fbf.jpg)\r\n\r\n![Hanging for 10+ minutes](https://user-images.githubusercontent.com/37301492/180235666-aff26dba-7938-46c6-8e53-5eafc0fa46d4.jpg)\r\n\r\n**Environment**\r\n\r\nIntelliJ IDEA 2022.1.3\r\n\r\n**Additional context**\r\n\r\nWhen Code analysis slider is moved just 1 notch to the right - timeout doesn't exceed. If it is set to 10 sec - the generation ends in 10 sec approx. Only tests generated by Fuzzer are present in the Test class.","author":{"url":"https://github.com/alisevych","@type":"Person","name":"alisevych"},"datePublished":"2022-07-21T14:12:02.000Z","interactionStatistic":{"@type":"InteractionCounter","interactionType":"https://schema.org/CommentAction","userInteractionCount":0},"url":"https://github.com/570/UTBotJava/issues/570"}

route-pattern/_view_fragments/issues/show/:user_id/:repository/:id/issue_layout(.:format)
route-controllervoltron_issues_fragments
route-actionissue_layout
fetch-noncev2:57b4ead6-3cc7-19b8-a0fd-1143229d2270
current-catalog-service-hash81bb79d38c15960b92d99bca9288a9108c7a47b18f2423d0f6438c5b7bcd2114
request-idB1CE:696B6:1EB518:28A645:698FA035
html-safe-nonce088ff143761ea7d094fceaf4ed181efd4e762795351ba354e5cfe64a030aff0b
visitor-payloadeyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJCMUNFOjY5NkI2OjFFQjUxODoyOEE2NDU6Njk4RkEwMzUiLCJ2aXNpdG9yX2lkIjoiNzYzOTcxMjczODAxODM0NTQ5IiwicmVnaW9uX2VkZ2UiOiJpYWQiLCJyZWdpb25fcmVuZGVyIjoiaWFkIn0=
visitor-hmacabf4a9f875fd4c5bf8681f2c0c8979343951fb729c907bdfdaf47011402b3738
hovercard-subject-tagissue:1313327362
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/570/issue_layout
twitter:imagehttps://opengraph.githubassets.com/caadc78b19a00a8942450319e15bb5e568c9fbe59d7c230f8d90f3f49af29e6f/UnitTestBot/UTBotJava/issues/570
twitter:cardsummary_large_image
og:imagehttps://opengraph.githubassets.com/caadc78b19a00a8942450319e15bb5e568c9fbe59d7c230f8d90f3f49af29e6f/UnitTestBot/UTBotJava/issues/570
og:image:altDescription Need to stop test generation on timeout when only fuzzing test generation is turned on. Fuzzing is turned on and the Simplest mode of Code analysis is used in Settings. To Reproduce Ste...
og:image:width1200
og:image:height600
og:site_nameGitHub
og:typeobject
og:author:usernamealisevych
hostnamegithub.com
expected-hostnamegithub.com
None5f47eb8d0aaafbfcb6a8220a40bd81431acf688857c575e6489670c394cfa36f
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
release17aba3d160d69b8c2b37695ebd174d8101af8896
ui-targetfull
theme-color#1e2327
color-schemelight dark

Links:

Skip to contenthttps://github.com/UnitTestBot/UTBotJava/issues/570#start-of-content
https://github.com/
Sign in https://github.com/login?return_to=https%3A%2F%2Fgithub.com%2FUnitTestBot%2FUTBotJava%2Fissues%2F570
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%2F570
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/570
Reloadhttps://github.com/UnitTestBot/UTBotJava/issues/570
Reloadhttps://github.com/UnitTestBot/UTBotJava/issues/570
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/570
New issuehttps://github.com/login?return_to=https://github.com/UnitTestBot/UTBotJava/issues/570
#574https://github.com/UnitTestBot/UTBotJava/pull/574
Fuzzing is not stopped on timeout when symbolic execution is excludedhttps://github.com/UnitTestBot/UTBotJava/issues/570#top
#574https://github.com/UnitTestBot/UTBotJava/pull/574
https://github.com/Markoutte
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
status-verifiedBug fix is verifiedhttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22status-verified%22
https://github.com/alisevych
https://github.com/alisevych
alisevychhttps://github.com/alisevych
on Jul 21, 2022https://github.com/UnitTestBot/UTBotJava/issues/570#issue-1313327362
https://user-images.githubusercontent.com/37301492/180231489-1ecf10bd-df1a-4022-9d13-a150a4d02a32.jpg
https://user-images.githubusercontent.com/37301492/180235925-b8868608-f68b-4455-ae6c-502553b18fbf.jpg
https://user-images.githubusercontent.com/37301492/180235666-aff26dba-7938-46c6-8e53-5eafc0fa46d4.jpg
Markouttehttps://github.com/Markoutte
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
status-verifiedBug fix is verifiedhttps://github.com/UnitTestBot/UTBotJava/issues?q=state%3Aopen%20label%3A%22status-verified%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.